| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2025-04-29 | Give the encoding for fold. | Chloe Brown | |
| 2025-04-29 | Give the encoding of roll. | Chloe Brown | |
| 2025-04-29 | Update examples for end of phase 2. | Chloe Brown | |
| 2025-04-29 | Explain why we used natural-list indices. | Chloe Brown | |
| 2025-04-29 | Explain why we use a heap encoding. | Chloe Brown | |
| 2025-04-25 | Give examples for phase 1. | Chloe Brown | |
| 2025-04-25 | Describe encoding of inductive types. | Chloe Brown | |
| 2025-04-24 | Describe distrib. | Chloe Brown | |
| 2025-04-24 | Describe the roll' operator. | Chloe Brown | |
| 2025-04-24 | Describe why roll is hard to encode. | Chloe Brown | |
| 2025-04-23 | Current state of affairs. | Chloe Brown | |
 |
index : yellowsquid/artyst-paper.git | |
| [no description] | Chloe Brown |
| summaryrefslogtreecommitdiff |