Age | Commit message (Collapse) | Author | |
---|---|---|---|
2025-06-26 | Fix 514--525. | Chloe Brown | |
2025-06-26 | Fix 508--513. | Chloe Brown | |
2025-06-26 | Fix 486--507. | Chloe Brown | |
2025-06-26 | Fix 479--485. | Chloe Brown | |
2025-06-26 | Fix 475--478. | Chloe Brown | |
2025-06-25 | Fix 464--472. | Chloe Brown | |
2025-06-25 | Fix 449--463. | Chloe Brown | |
2025-06-25 | Move list operations later. | Chloe Brown | |
2025-06-25 | Fix 446--449. | Chloe Brown | |
2025-06-25 | Fix 428--437. | Chloe Brown | |
2025-06-25 | Fix 422--427. | Chloe Brown | |
2025-06-25 | Rename labels to be more consistent. | Chloe Brown | |
2025-06-25 | Fix 402--420. | Chloe Brown | |
2025-06-25 | Fix 393--401. | Chloe Brown | |
2025-06-25 | Fix 385--391. | Chloe Brown | |
2025-06-25 | Fix 380--382. | Chloe Brown | |
2025-06-25 | Fix equational theory. | Chloe Brown | |
2025-06-25 | Fix map syntax. | Chloe Brown | |
2025-06-25 | Fix 336--362. | Chloe Brown | |
2025-06-25 | Fix 326--336. | Chloe Brown | |
2025-06-25 | Fix figures 4 and 5. | Chloe Brown | |
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 | |