| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2025-09-18 | add tests, silence type annotations needed errors for opaques | lcnr | -1/+0 |
| 2025-09-01 | use defining uses of all bodies to constrain non-defining uses | lcnr | -3/+8 |
| 2025-05-02 | Add a regression test | moxian | -0/+12 |
