summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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-20Disable ACM and cripple minted.Chloe Brown
2025-05-20Revise Core Language.Chloe Brown
2025-05-20Revise System T.Chloe Brown
2025-05-15Swap order of programs and compiler.Chloe Brown
2025-05-07Define the final desugaringChloe Brown
2025-05-07Fix list append.Chloe Brown
2025-05-07Add keywords for unionsChloe 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
2025-04-30Give phase 3 examples.Chloe Brown
2025-04-30Fix typoChloe Brown
2025-04-30State we encode lists using eliminators.Chloe Brown
2025-04-30Add headings for each phase.Chloe Brown
2025-04-30Justify adding the `match` operator.Chloe Brown
2025-04-30Justify the `index` operator.Chloe Brown
2025-04-30Correct TODO list.Chloe Brown
2025-04-30Make phase 2 `balanced` use `index`.Chloe Brown
2025-04-29Give (weak) justification for adding `snoc`.Chloe Brown
2025-04-29Provide (weak) justification for `max`.Chloe Brown
2025-04-29Fix pseudocode.Chloe Brown
2025-04-29Move figure before reference.Chloe Brown
2025-04-29Give the encoding for fold.Chloe Brown
2025-04-29Give the encoding of roll.Chloe Brown
2025-04-29Add multiline tuple variant.Chloe Brown
2025-04-29Update examples for end of phase 2.Chloe Brown
2025-04-29Explain why we used natural-list indices.Chloe Brown
generated by cgit v1.2.3 (git 2.49.0) at 2025-07-17 20:00:34 +0000