summaryrefslogtreecommitdiff
path: root/sec/reducer.ltx
AgeCommit message (Expand)Author
2025-06-26Fix 901--915.Chloe Brown
2025-06-26Fix 831--899.Chloe Brown
2025-06-26Fix 825--830.Chloe Brown
2025-06-26Fix 822--823.Chloe Brown
2025-06-26Fix 815--522.Chloe Brown
2025-06-26Fix multiply-defined label.Chloe Brown
2025-06-26Fix 772--777.Chloe Brown
2025-06-26Fix 764.Chloe Brown
2025-05-30State some limits of partial evaluation.Chloe Brown
2025-05-27Describe why composing programs could work.Chloe Brown
2025-05-27Justify the use of non-destructive folds.Chloe Brown
2025-05-22Give example of fold shenanigansChloe Brown
2025-05-22Update todos.Chloe Brown
2025-05-22Describe high-level algorithm.Chloe Brown
2025-05-21Give the step function.Chloe Brown
2025-05-21Give rename as an example function.Chloe Brown
2025-05-21Give the inductive type of terms.Chloe Brown
2025-05-21Reduce space used by todo item.Chloe Brown
2025-05-21Describe the operation of the fuelled reducer.Chloe Brown
2025-05-21Introduce the two programs.Chloe Brown
2025-04-23Current state of affairs.Chloe Brown
2025-03-25Before the big rewriteChloe Brown
generated by cgit v1.2.3 (git 2.49.0) at 2025-07-17 20:01:22 +0000