| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| master | expand untyped lambda calculus prelude, fix custom ellipses in syntax-rules | 5 months | ||
| Age | Commit message | Author | Files | Lines |
| 2025-07-10 | expand untyped lambda calculus prelude, fix custom ellipses in syntax-rulesHEADmaster | 5 | -40/+204 | |
| 2025-07-10 | add display-no-eval for debugging | 3 | -11/+37 | |
| 2025-07-10 | Fix evaluation to do substitutions under lambdas even when evaluating to | 2 | -15/+46 | |
| 2025-07-09 | fix improper list patterns | 3 | -9/+10 | |
| 2025-07-09 | add syntax-error, only evaluate defined terms to weak head normal form | 6 | -123/+67 | |
| 2025-07-09 | clean up syntax-object.scm | 2 | -75/+114 | |
| 2025-07-09 | test normal order evaluation | 1 | -0/+5 | |
| 2025-07-09 | normal order evaluator | 5 | -20/+184 | |
| 2025-07-03 | debruijnize converts functions to curry form | 5 | -206/+79 | |
| 2025-07-02 | add inject-primitive | 1 | -7/+13 | |
| [...] | ||||
