summaryrefslogtreecommitdiff
path: root/sec
AgeCommit message (Expand)Author
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
2025-06-12Include cautionary tale.Chloe Brown
2025-06-12Justify extrinsic certificate.Chloe Brown
2025-06-12Outline bidirectional algorithm.Chloe Brown
2025-06-12Give bidirectional typing rules.Chloe Brown
2025-06-12Change syntax of `\judgement`Chloe Brown
2025-06-12Explain why we parse to intrinsically well-scoped AST.Chloe Brown
2025-06-11Explain differences from Neel and Jeremy's parser.Chloe Brown
2025-05-30Explain intrinsically well-scoped syntax.Chloe Brown
2025-05-30Reorder and extend TODOs.Chloe Brown
2025-05-30Summarise the compiler passes.Chloe Brown
2025-05-30State some limits of partial evaluation.Chloe Brown
2025-05-27Describe why composing programs could work.Chloe Brown
2025-05-27Justify the use of non-destructive folds.Chloe Brown
2025-05-22Give example of fold shenanigansChloe Brown
2025-05-22Update todos.Chloe Brown
2025-05-22Describe high-level algorithm.Chloe Brown
2025-05-22Update section label.Chloe Brown
2025-05-21Give the step function.Chloe Brown
2025-05-21Give rename as an example function.Chloe Brown
2025-05-21Give the inductive type of terms.Chloe Brown
generated by cgit v1.2.3 (git 2.49.0) at 2025-07-17 13:43:27 +0000