Age | Commit message (Expand) | Author |
---|---|---|
2024-11-12 | Add ability to desugar terms. | Greg Brown |
![]() |
index : yellowsquid/inky.git | |
[no description] | Chloe Brown |
summaryrefslogtreecommitdiff |
Age | Commit message (Expand) | Author |
---|---|---|
2024-11-12 | Add ability to desugar terms. | Greg Brown |