summaryrefslogtreecommitdiff
path: root/sec
AgeCommit message (Expand)Author
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
2025-05-06Give the encoding of products.Chloe Brown
2025-05-06Simplify examples and remove `map`.Chloe Brown
2025-05-06Give running examples for phase 4.Chloe Brown
2025-05-06Remove some extra whitespace.Chloe Brown
2025-05-06Remove alignment when there are intermediate linesChloe Brown
2025-05-06Justify encoding sum as tagged union.Chloe Brown
2025-05-06Change signature of `\casetm`.Chloe Brown
2025-05-06Explain the operators and equations on unions.Chloe Brown
2025-05-06State we encode sums as tagged unions.Chloe Brown
2025-05-02Justify why only `length` and `index`.Chloe Brown
2025-05-02Give the encoding of `match`.Chloe Brown
2025-05-02Correct phase 3 examples.Chloe Brown
2025-05-02Give the encoding of `max`.Chloe Brown
2025-05-02Foreshadow encoding of if-equal.Chloe Brown
2025-05-02Give the encoding of `snoc`.Chloe Brown
2025-05-02Give the encoding of `cons`.Chloe Brown
2025-05-02Replace `1 +` with `suc`.Chloe Brown
2025-05-02Give the encoding of nil.Chloe Brown
generated by cgit v1.2.3 (git 2.49.0) at 2025-07-17 21:04:51 +0000