| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | expand untyped lambda calculus prelude, fix custom ellipses in syntax-rulesHEADmaster |  Peter McGoron
| 2025-07-10 | 2 | -32/+185 |
| * | add display-no-eval for debugging | Peter McGoron
| 2025-07-10 | 3 | -11/+37 |
| * | Fix evaluation to do substitutions under lambdas even when evaluating to | Peter McGoron
| 2025-07-10 | 2 | -15/+46 |
| * | fix improper list patterns | Peter McGoron
| 2025-07-09 | 2 | -3/+2 |
| * | add syntax-error, only evaluate defined terms to weak head normal form | Peter McGoron
| 2025-07-09 | 3 | -107/+55 |
| * | normal order evaluator | Peter McGoron
| 2025-07-09 | 2 | -19/+114 |
| * | debruijnize converts functions to curry form | Peter McGoron
| 2025-07-03 | 3 | -194/+63 |
| * | add inject-primitive | Peter McGoron
| 2025-07-02 | 1 | -7/+13 |
| * | Store names in lexical locations | Peter McGoron
| 2025-07-02 | 2 | -97/+122 |
| * | replace location-comparator with free-identifier-comparator | Peter McGoron
| 2025-06-28 | 1 | -18/+18 |
| * | move tests to their own file; use debruijn form to test alpha equivalence | Peter McGoron
| 2025-06-28 | 2 | -1/+23 |
| * | Fix list ellipses pattern matching | Peter McGoron
| 2025-06-28 | 2 | -22/+64 |
| * | Change environments in untyped LC to use location comparators instead of | Peter McGoron
| 2025-06-28 | 1 | -39/+44 |
| * | fix self-syntax and shadowing of syntax keywords | Peter McGoron
| 2025-06-28 | 2 | -7/+28 |
| * | first pass at a syntax expander for pure LC | Peter McGoron
| 2025-06-28 | 3 | -0/+631 |
Peter McGoron