| Age | Commit message (Expand) | Author |
|---|---|---|
| 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-12 | Change syntax of `\judgement` | Chloe Brown |
| 2025-05-20 | Revise System T. | Chloe Brown |
| 2025-04-25 | Clarify the table. | Chloe Brown |
| 2025-04-23 | Explain how to fold. | Chloe Brown |
| 2025-04-23 | Improve multiline let formatting. | Chloe Brown |
| 2025-04-23 | Split item into two. | Chloe Brown |
| 2025-04-23 | Describe the yet-to-make box-and-pointer diagram. | Chloe Brown |
| 2025-04-23 | Split point in two. | 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 |