Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Require `then` and `else` with `if` (#6201) | Thomas Lively | 2024-01-04 | 1 | -2/+6 |
* | Simplify and consolidate type printing (#5816) | Thomas Lively | 2023-08-24 | 1 | -3/+3 |
* | Change the default type system to isorecursive (#5239) | Thomas Lively | 2022-11-23 | 1 | -3/+3 |
* | Vacuum: Ignore effects at the entire function scope when possible (#5053) | Alon Zakai | 2022-09-19 | 1 | -0/+95 |