summaryrefslogtreecommitdiff
path: root/sec
AgeCommit message (Expand)Author
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
2025-06-24Fix 194--216.Chloe Brown
2025-06-24Fix 183--188.Chloe Brown
2025-06-24Fix 175--182.Chloe Brown
2025-06-24Fix 155--174.Chloe Brown
2025-06-24Fix 150--154.Chloe Brown
2025-06-24Fix 138--149.Chloe Brown
2025-06-24Fix Table 1.Chloe Brown
2025-06-24Fix 132--137.Chloe Brown
2025-06-24Fix 126--131.Chloe Brown
2025-06-24Fix 92--124.Chloe Brown
2025-06-24Fix 88--90.Chloe Brown
2025-06-24Fix 82--88.Chloe Brown
2025-06-24Fix 77--82.Chloe Brown
2025-06-24Fix 38--41.Chloe Brown
2025-06-24Fix 31--37.Chloe Brown
2025-06-24Fix 24--30.Chloe Brown
2025-06-24Fix 15--18.Chloe Brown
2025-06-19Initial introduction draftChloe Brown
2025-06-19Fix missing character warning.Chloe Brown
2025-06-18Add introduction skeleton and contributions.Chloe Brown
2025-06-12Revert to acmart.Chloe Brown