Age | Commit message (Expand) | Author |
---|---|---|
2025-05-30 | State some limits of partial evaluation. | Chloe Brown |
2025-05-27 | Describe why composing programs could work. | Chloe Brown |
2025-05-27 | Justify the use of non-destructive folds. | Chloe Brown |
2025-05-22 | Give example of fold shenanigans | Chloe Brown |
2025-05-22 | Update todos. | Chloe Brown |
2025-05-22 | Describe high-level algorithm. | Chloe Brown |
2025-05-21 | Give the step function. | Chloe Brown |
2025-05-21 | Give rename as an example function. | Chloe Brown |
2025-05-21 | Give the inductive type of terms. | Chloe Brown |
2025-05-21 | Reduce space used by todo item. | Chloe Brown |
2025-05-21 | Describe the operation of the fuelled reducer. | Chloe Brown |
2025-05-21 | Introduce the two programs. | Chloe Brown |
2025-04-23 | Current state of affairs. | Chloe Brown |
2025-03-25 | Before the big rewrite | Chloe Brown |