Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Update the text syntax for tuple types (#6246) | Thomas Lively | 2024-01-26 | 1 | -2/+2 |
* | Update `tuple.make` text format to include arity (#6169) | Thomas Lively | 2023-12-12 | 1 | -2/+2 |
* | Simplify and consolidate type printing (#5816) | Thomas Lively | 2023-08-24 | 1 | -4/+4 |
* | Add a name hint to getValidName() (#5653) | Alon Zakai | 2023-04-11 | 1 | -4/+4 |
* | Change the default type system to isorecursive (#5239) | Thomas Lively | 2022-11-23 | 1 | -2/+2 |
* | Add option to add checks for all items (#3961) | Thomas Lively | 2021-07-02 | 1 | -9/+20 |
* | Poppify pass (#3541) | Thomas Lively | 2021-02-09 | 1 | -0/+55 |