| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2025-02-10 | Show diff suggestion format on verbose replacement | Esteban Küber | -6/+9 |
| 2024-12-18 | Forbid overwriting types in typeck | Oli Scherer | -5/+7 |
| 2023-07-17 | address review | b-naber | -3/+3 |
| 2023-07-17 | add tests for refutable patterns | b-naber | -0/+40 |
