| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2025-09-01 | use defining uses of all bodies to constrain non-defining uses | lcnr | -1/+1 | |
| support non-defining uses in closures | ||||
| 2023-01-17 | Remove double spaces after dots in comments | Maybe Waffle | -1/+1 | |
| 2022-05-02 | fix most compiler/ doctests | Elliot Roberts | -1/+2 | |
| 2020-08-30 | mv compiler to compiler/ | mark | -0/+63 | |
