summaryrefslogtreecommitdiff
path: root/sec
AgeCommit message (Expand)Author
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
2025-05-21Reduce space used by todo item.Chloe Brown
2025-05-21Describe the operation of the fuelled reducer.Chloe Brown
2025-05-21Introduce the two programs.Chloe Brown
2025-05-20Finish revisions.Chloe Brown
2025-05-20Revise Core Language.Chloe Brown
2025-05-20Revise System T.Chloe Brown
2025-05-07Define the final desugaringChloe Brown
2025-05-07Fix list append.Chloe Brown
2025-05-07Give example for products and unions.Chloe Brown
2025-05-07Describe union encodings.Chloe Brown
2025-05-07Remove invalid reference to `map`.Chloe Brown
generated by cgit v1.2.3 (git 2.49.0) at 2025-07-18 10:13:56 +0000