aboutsummaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
masterexpand untyped lambda calculus prelude, fix custom ellipses in syntax-rulesGravatar Peter McGoron 6 months
 
 
AgeCommit messageAuthorFilesLines
2025-07-10expand untyped lambda calculus prelude, fix custom ellipses in syntax-rulesHEADmasterGravatar Peter McGoron 5-40/+204
2025-07-10add display-no-eval for debuggingGravatar Peter McGoron 3-11/+37
2025-07-10Fix evaluation to do substitutions under lambdas even when evaluating toGravatar Peter McGoron 2-15/+46
2025-07-09fix improper list patternsGravatar Peter McGoron 3-9/+10
2025-07-09add syntax-error, only evaluate defined terms to weak head normal formGravatar Peter McGoron 6-123/+67
2025-07-09clean up syntax-object.scmGravatar Peter McGoron 2-75/+114
2025-07-09test normal order evaluationGravatar Peter McGoron 1-0/+5
2025-07-09normal order evaluatorGravatar Peter McGoron 5-20/+184
2025-07-03debruijnize converts functions to curry formGravatar Peter McGoron 5-206/+79
2025-07-02add inject-primitiveGravatar Peter McGoron 1-7/+13
[...]