| Age | Commit message (Expand) | Author |
|---|---|---|
| 2025-06-25 | Fix 315--325. | Chloe Brown |
| 2025-06-25 | Fix 283--310. | Chloe Brown |
| 2025-06-25 | Fix 276--281. | Chloe Brown |
| 2025-06-24 | Fix 258--275. | Chloe Brown |
| 2025-06-24 | Fix 240--257. | Chloe Brown |
| 2025-06-24 | Fix 236--239. | Chloe Brown |
| 2025-06-24 | Note eliminator encoding works for lists. | Chloe Brown |
| 2025-06-24 | Fix 230--234. | Chloe Brown |
| 2025-06-24 | Fix 224--227. | Chloe Brown |
| 2025-06-24 | Fix 194--216. | Chloe Brown |
| 2025-06-24 | Fix 183--188. | Chloe Brown |
| 2025-06-24 | Fix 175--182. | Chloe Brown |
| 2025-06-24 | Fix 155--174. | Chloe Brown |
| 2025-06-24 | Fix 150--154. | Chloe Brown |
| 2025-06-24 | Fix 138--149. | Chloe Brown |
| 2025-06-24 | Fix Table 1. | Chloe Brown |
| 2025-06-24 | Fix 132--137. | Chloe Brown |
| 2025-06-24 | Fix 126--131. | Chloe Brown |
| 2025-06-24 | Fix 92--124. | Chloe Brown |
| 2025-06-24 | Fix 88--90. | Chloe Brown |
| 2025-06-24 | Fix 82--88. | Chloe Brown |
| 2025-06-24 | Fix 77--82. | Chloe Brown |
| 2025-06-24 | Fix 38--41. | Chloe Brown |
| 2025-06-24 | Fix 31--37. | Chloe Brown |
| 2025-06-24 | Fix 24--30. | Chloe Brown |
| 2025-06-24 | Fix 15--18. | Chloe Brown |
| 2025-06-19 | Initial introduction draft | Chloe Brown |
| 2025-06-19 | Fix missing character warning. | Chloe Brown |
| 2025-06-18 | Add introduction skeleton and contributions. | Chloe Brown |
| 2025-06-12 | Revert to acmart. | Chloe Brown |
| 2025-06-12 | Include cautionary tale. | Chloe Brown |
| 2025-06-12 | Justify extrinsic certificate. | Chloe Brown |
| 2025-06-12 | Outline bidirectional algorithm. | Chloe Brown |
| 2025-06-12 | Give bidirectional typing rules. | Chloe Brown |
| 2025-06-12 | Change syntax of `\judgement` | Chloe Brown |
| 2025-06-12 | Explain why we parse to intrinsically well-scoped AST. | Chloe Brown |
| 2025-06-11 | Explain differences from Neel and Jeremy's parser. | Chloe Brown |
| 2025-05-30 | Explain intrinsically well-scoped syntax. | Chloe Brown |
| 2025-05-30 | Reorder and extend TODOs. | Chloe Brown |
| 2025-05-30 | Summarise the compiler passes. | Chloe Brown |
| 2025-05-30 | State some limits of partial evaluation. | Chloe Brown |
| 2025-05-27 | Describe why composing programs could work. | Chloe Brown |
| 2025-05-27 | Justify the use of non-destructive folds. | Chloe Brown |
| 2025-05-22 | Give example of fold shenanigans | Chloe Brown |
| 2025-05-22 | Update todos. | Chloe Brown |
| 2025-05-22 | Describe high-level algorithm. | Chloe Brown |
| 2025-05-22 | Update section label. | Chloe Brown |
| 2025-05-21 | Give the step function. | Chloe Brown |
| 2025-05-21 | Give rename as an example function. | Chloe Brown |
| 2025-05-21 | Correct date of Bauer work. | Chloe Brown |
 |
index : yellowsquid/artyst-paper.git | |
| [no description] | Chloe Brown |
| summaryrefslogtreecommitdiff |