| Age | Commit message (Expand) | Author |
|---|---|---|
| 2025-06-26 | Fix 721--727. | Chloe Brown |
| 2025-06-26 | Fix 708--720. | Chloe Brown |
| 2025-06-26 | Fix 706--708. | Chloe Brown |
| 2025-06-26 | Fix 700--706. | Chloe Brown |
| 2025-06-26 | Fix 663--666. | Chloe Brown |
| 2025-06-26 | Fix 653--655. | Chloe Brown |
| 2025-06-26 | Fix 635--650. | Chloe Brown |
| 2025-06-26 | Fix 620--635. | Chloe Brown |
| 2025-06-26 | Fix 608--619. | Chloe Brown |
| 2025-06-26 | Fix 593--599. | Chloe Brown |
| 2025-06-26 | Fix 540--568. | Chloe Brown |
| 2025-06-26 | Fix 525--538. | Chloe Brown |
| 2025-06-26 | Fix 514--525. | Chloe Brown |
| 2025-06-26 | Fix 508--513. | Chloe Brown |
| 2025-06-26 | Fix 486--507. | Chloe Brown |
| 2025-06-26 | Fix 479--485. | Chloe Brown |
| 2025-06-26 | Fix 475--478. | Chloe Brown |
| 2025-06-25 | Fix 464--472. | Chloe Brown |
| 2025-06-25 | Fix 449--463. | Chloe Brown |
| 2025-06-25 | Move list operations later. | Chloe Brown |
| 2025-06-25 | Fix 446--449. | Chloe Brown |
| 2025-06-25 | Fix 428--437. | Chloe Brown |
| 2025-06-25 | Fix 422--427. | Chloe Brown |
| 2025-06-25 | Fix 402--420. | Chloe Brown |
| 2025-06-25 | Fix 393--401. | Chloe Brown |
| 2025-06-25 | Fix 385--391. | Chloe Brown |
| 2025-06-19 | Fix missing character warning. | Chloe Brown |
| 2025-05-22 | Update section label. | Chloe Brown |
| 2025-05-20 | Finish revisions. | Chloe Brown |
| 2025-05-07 | Define the final desugaring | Chloe Brown |
| 2025-05-07 | Fix list append. | Chloe Brown |
| 2025-05-07 | Give example for products and unions. | Chloe Brown |
| 2025-05-07 | Describe union encodings. | Chloe Brown |
| 2025-05-07 | Remove invalid reference to `map`. | Chloe Brown |
| 2025-05-06 | Give the encoding of products. | Chloe Brown |
| 2025-05-06 | Simplify examples and remove `map`. | Chloe Brown |
| 2025-05-06 | Give running examples for phase 4. | Chloe Brown |
| 2025-05-06 | Remove some extra whitespace. | Chloe Brown |
| 2025-05-06 | Remove alignment when there are intermediate lines | Chloe Brown |
| 2025-05-06 | Justify encoding sum as tagged union. | Chloe Brown |
| 2025-05-06 | Explain the operators and equations on unions. | Chloe Brown |
| 2025-05-06 | State we encode sums as tagged unions. | Chloe Brown |
| 2025-05-02 | Justify why only `length` and `index`. | Chloe Brown |
| 2025-05-02 | Give the encoding of `match`. | Chloe Brown |
| 2025-05-02 | Correct phase 3 examples. | Chloe Brown |
| 2025-05-02 | Give the encoding of `max`. | Chloe Brown |
| 2025-05-02 | Foreshadow encoding of if-equal. | Chloe Brown |
| 2025-05-02 | Give the encoding of `snoc`. | Chloe Brown |
| 2025-05-02 | Give the encoding of `cons`. | Chloe Brown |
| 2025-05-02 | Replace `1 +` with `suc`. | Chloe Brown |
 |
index : yellowsquid/artyst-paper.git | |
| [no description] | Chloe Brown |
| summaryrefslogtreecommitdiff |