summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2025-06-26Fix 901--915.Chloe Brown
2025-06-26Fix 831--899.Chloe Brown
2025-06-26Fix 825--830.Chloe Brown
2025-06-26Fix 822--823.Chloe Brown
2025-06-26Fix 815--522.Chloe Brown
2025-06-26Fix multiply-defined label.Chloe Brown
2025-06-26Fix 772--777.Chloe Brown
2025-06-26Fix 764.Chloe Brown
2025-06-26Fix 721--727.Chloe Brown
2025-06-26Fix 708--720.Chloe Brown
2025-06-26Fix 706--708.Chloe Brown
2025-06-26Fix 700--706.Chloe Brown
2025-06-26Fix 663--666.Chloe Brown
2025-06-26Fix 653--655.Chloe Brown
2025-06-26Fix 635--650.Chloe Brown
2025-06-26Fix 620--635.Chloe Brown
2025-06-26Fix 608--619.Chloe Brown
2025-06-26Fix 593--599.Chloe Brown
2025-06-26Fix 540--568.Chloe Brown
2025-06-26Fix 525--538.Chloe Brown
2025-06-26Fix 514--525.Chloe Brown
2025-06-26Fix 508--513.Chloe Brown
2025-06-26Fix 486--507.Chloe Brown
2025-06-26Fix 479--485.Chloe Brown
2025-06-26Fix 475--478.Chloe Brown
2025-06-25Fix 464--472.Chloe Brown
2025-06-25Fix 449--463.Chloe Brown
2025-06-25Move list operations later.Chloe Brown
2025-06-25Fix 446--449.Chloe Brown
2025-06-25Fix 428--437.Chloe Brown
2025-06-25Fix 422--427.Chloe Brown
2025-06-25Rename labels to be more consistent.Chloe Brown
2025-06-25Fix 402--420.Chloe Brown
2025-06-25Fix 393--401.Chloe Brown
2025-06-25Fix 385--391.Chloe Brown
2025-06-25Fix 380--382.Chloe Brown
2025-06-25Fix equational theory.Chloe Brown
2025-06-25Fix map syntax.Chloe Brown
2025-06-25Fix 336--362.Chloe Brown
2025-06-25Fix 326--336.Chloe Brown
2025-06-25Fix figures 4 and 5.Chloe Brown
2025-06-25Fix 315--325.Chloe Brown
2025-06-25Fix 283--310.Chloe Brown
2025-06-25Fix 276--281.Chloe Brown
2025-06-24Fix 258--275.Chloe Brown
2025-06-24Fix 240--257.Chloe Brown
2025-06-24Fix 236--239.Chloe Brown
2025-06-24Note eliminator encoding works for lists.Chloe Brown
2025-06-24Fix 230--234.Chloe Brown
2025-06-24Fix 224--227.Chloe Brown
generated by cgit v1.2.3 (git 2.49.0) at 2025-07-18 08:49:12 +0000