summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2025-06-26Fix figure 8 (modulo small).HEADmasterChloe Brown
2025-06-26Fix 967--979.Chloe Brown
2025-06-26Fix 960--966.Chloe Brown
2025-06-26Fix 955--960.Chloe Brown
2025-06-26Really fix 947--950.Chloe Brown
2025-06-26Fix 747--950.Chloe Brown
2025-06-26Fix 941--947.Chloe Brown
2025-06-26Fix 935--940.Chloe Brown
2025-06-26Fix 925--927.Chloe Brown
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
generated by cgit v1.2.3 (git 2.49.0) at 2025-07-16 16:32:02 +0000