summaryrefslogtreecommitdiff
path: root/sec/encoding.ltx
AgeCommit message (Expand)Author
2025-06-26Fix 514--525.Chloe Brown
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-25Fix 402--420.Chloe Brown
2025-06-25Fix 393--401.Chloe Brown
2025-06-25Fix 385--391.Chloe Brown
2025-06-19Fix missing character warning.Chloe Brown
2025-05-22Update section label.Chloe Brown
2025-05-20Finish revisions.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-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
generated by cgit v1.2.3 (git 2.49.0) at 2025-07-17 15:42:06 +0000