| Age | Commit message (Expand) | Author |
|---|---|---|
| 2025-06-19 | Fix missing character warning. | Chloe Brown |
| 2025-06-12 | Revert to acmart. | Chloe Brown |
| 2025-06-12 | Change syntax of `\judgement` | Chloe Brown |
| 2025-05-20 | Disable ACM and cripple minted. | Chloe Brown |
| 2025-05-15 | Swap order of programs and compiler. | Chloe Brown |
| 2025-05-07 | Fix list append. | Chloe Brown |
| 2025-05-06 | Change signature of `\casetm`. | Chloe Brown |
| 2025-04-29 | Add multiline tuple variant. | Chloe Brown |
| 2025-04-25 | Give examples for phase 1. | Chloe Brown |
| 2025-04-25 | Describe encoding of inductive types. | Chloe Brown |
| 2025-04-24 | Describe distrib. | Chloe Brown |
| 2025-04-23 | Remove tuple from match cases. | Chloe Brown |
| 2025-04-23 | Improve multiline let formatting. | Chloe Brown |
| 2025-04-23 | Current state of affairs. | Chloe Brown |
| 2025-03-25 | Before the big rewrite | Chloe Brown |
 |
index : yellowsquid/artyst-paper.git | |
| [no description] | Chloe Brown |
| summaryrefslogtreecommitdiff |