Commits : Listings
Analyzed
about 8 hours
ago.
based on code collected
about 11 hours
ago.
|
Apr 24, 2023
—
Apr 24, 2024
|
||||||
| Commit Message | Contributor | Files Modified | Lines Added | Lines Removed | Code Location | Date |
|---|---|---|---|---|---|---|
| Updates tests. |
|
More... | almost 10 years ago | |||
| 0.2.0 |
|
More... | almost 10 years ago | |||
| for 2.11 |
|
More... | almost 10 years ago | |||
| Benchmark returns Long literal. |
|
More... | almost 10 years ago | |||
| trivial rename |
|
More... | almost 10 years ago | |||
| typo |
|
More... | almost 10 years ago | |||
| cleanup |
|
More... | almost 10 years ago | |||
| apply -> unwrap |
|
More... | almost 10 years ago | |||
| TypeMacro etc |
|
More... | almost 10 years ago | |||
| DependentTerm and DependentType |
|
More... | almost 10 years ago | |||
| Removes unneeded prefix. |
|
More... | almost 10 years ago | |||
| macro bundle flavor |
|
More... | almost 10 years ago | |||
| Tree flavor |
|
More... | almost 10 years ago | |||
| Removes unneeded typechecks. |
|
More... | almost 10 years ago | |||
| Self |
|
More... | almost 10 years ago | |||
| singmethod draft |
|
More... | almost 10 years ago | |||
| Removes TypedDependentImpl. |
|
More... | almost 10 years ago | |||
| Trivial header updates |
|
More... | almost 10 years ago | |||
| Dependent wars |
|
More... | almost 10 years ago | |||
| Trivial renaming |
|
More... | almost 10 years ago | |||
| tree flavor |
|
More... | almost 10 years ago | |||
| Enables AssertTest. |
|
More... | almost 10 years ago | |||
| Better error message |
|
More... | almost 10 years ago | |||
| Porting to 2.11 |
|
More... | almost 10 years ago | |||
| accurate return type |
|
More... | almost 11 years ago | |||
| Fixes a naming bug. |
|
More... | almost 11 years ago | |||
| echoRaw |
|
More... | almost 11 years ago | |||
| Dislikes reify. |
|
More... | almost 11 years ago | |||
| Prefers .tpe |
|
More... | almost 11 years ago | |||
| More assertions |
|
More... | almost 11 years ago | |||
