Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Require `then` and `else` with `if` (#6201) | Thomas Lively | 2024-01-04 | 1 | -6/+12 |
* | Simplify and consolidate type printing (#5816) | Thomas Lively | 2023-08-24 | 1 | -4/+4 |
* | EffectAnalyzer: Assume we execute the two things whose effects we compare (#5... | Alon Zakai | 2023-06-13 | 1 | -0/+100 |