Age | Commit message (Collapse) | Author | |
---|---|---|---|
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 | |