aboutsummaryrefslogtreecommitdiffstats
path: root/COPYING (unfollow)
Commit message (Expand)AuthorFilesLines
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
2025-07-02Store names in lexical locationsGravatar Peter McGoron 4-102/+137
2025-06-28replace location-comparator with free-identifier-comparatorGravatar Peter McGoron 4-26/+56
2025-06-28move tests to their own file; use debruijn form to test alpha equivalenceGravatar Peter McGoron 5-47/+121
2025-06-28Fix list ellipses pattern matchingGravatar Peter McGoron 7-36/+100
2025-06-28Change environments in untyped LC to use location comparators instead ofGravatar Peter McGoron 5-60/+83
2025-06-28fix self-syntax and shadowing of syntax keywordsGravatar Peter McGoron 4-8/+35
2025-06-28first pass at a syntax expander for pure LCGravatar Peter McGoron 6-22/+708
2025-06-20reenable testsGravatar Peter McGoron 1-2/+2
2025-06-20test (x ... y ... z ...)Gravatar Peter McGoron 2-3/+41
2025-06-20add vector patternsGravatar Peter McGoron 2-2/+47
2025-06-20add extra tests and fix temporary generation for renamingGravatar Peter McGoron 4-27/+95
2025-06-19more list testsGravatar Peter McGoron 1-1/+36
2025-06-19self-syntax tests for producerGravatar Peter McGoron 1-25/+41
2025-06-19Add ellipsis escape formGravatar Peter McGoron 5-40/+77
2025-06-19add support for multiple ellipses in a sequence in producersGravatar Peter McGoron 2-17/+35
2025-06-19Rework PNL calculations in pattern producer, fix producer testGravatar Peter McGoron 2-27/+49
2025-06-17pattern testingGravatar Peter McGoron 6-36/+130
2025-06-16producerGravatar Peter McGoron 5-20/+341
2025-05-02move common procedures for matcher and producer to internalGravatar Peter McGoron 8-88/+183
2025-04-26move utils to new library, emit ellipsis dag from matcher compilerGravatar Peter McGoron 7-54/+128
2025-04-26document pattern matcher, add ellipsis groupsGravatar Peter McGoron 3-111/+191
2025-04-25reorganize pattern moduleGravatar Peter McGoron 5-8/+11
2025-04-25test vectors with matches after an ellipsesGravatar Peter McGoron 2-10/+53
2025-04-25support literals as a list of identifiers, test literalsGravatar Peter McGoron 2-17/+44
2025-04-25fix nested ellipsesGravatar Peter McGoron 2-7/+99
2025-04-25rewrite expanderGravatar Peter McGoron 3-145/+276
2025-04-24fix pattern list creationGravatar Peter McGoron 4-20/+38
2025-04-24fix is-ellipsis-listGravatar Peter McGoron 1-1/+1
2025-04-24add pattern matcher and some testsGravatar Peter McGoron 5-0/+309
2025-04-24add tests for bound-identifier-comparatorGravatar Peter McGoron 3-121/+175