aboutsummaryrefslogtreecommitdiffstats
path: root/multisyntax/pattern (follow)
Commit message (Expand)AuthorAgeFilesLines
* expand untyped lambda calculus prelude, fix custom ellipses in syntax-rulesHEADmasterGravatar Peter McGoron 2025-07-101-2/+1
* fix improper list patternsGravatar Peter McGoron 2025-07-091-6/+8
* Fix list ellipses pattern matchingGravatar Peter McGoron 2025-06-283-13/+17
* add vector patternsGravatar Peter McGoron 2025-06-201-1/+12
* add extra tests and fix temporary generation for renamingGravatar Peter McGoron 2025-06-202-20/+43
* Add ellipsis escape formGravatar Peter McGoron 2025-06-194-17/+38
* add support for multiple ellipses in a sequence in producersGravatar Peter McGoron 2025-06-191-10/+17
* Rework PNL calculations in pattern producer, fix producer testGravatar Peter McGoron 2025-06-191-22/+32
* pattern testingGravatar Peter McGoron 2025-06-173-30/+67
* producerGravatar Peter McGoron 2025-06-164-20/+334
* move common procedures for matcher and producer to internalGravatar Peter McGoron 2025-05-024-84/+152
* move utils to new library, emit ellipsis dag from matcher compilerGravatar Peter McGoron 2025-04-262-26/+48
* document pattern matcher, add ellipsis groupsGravatar Peter McGoron 2025-04-262-63/+154
* reorganize pattern moduleGravatar Peter McGoron 2025-04-252-0/+354