| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | add syntax-error, only evaluate defined terms to weak head normal form |  Peter McGoron
| 2025-07-09 | 2 | -10/+10 |
| * | clean up syntax-object.scm | Peter McGoron
| 2025-07-09 | 1 | -3/+3 |
| * | test normal order evaluation | Peter McGoron
| 2025-07-09 | 1 | -0/+5 |
| * | normal order evaluator | Peter McGoron
| 2025-07-09 | 1 | -1/+60 |
| * | debruijnize converts functions to curry form | Peter McGoron
| 2025-07-03 | 2 | -12/+16 |
| * | replace location-comparator with free-identifier-comparator | Peter McGoron
| 2025-06-28 | 1 | -8/+24 |
| * | move tests to their own file; use debruijn form to test alpha equivalence | Peter McGoron
| 2025-06-28 | 3 | -46/+98 |
| * | Fix list ellipses pattern matching | Peter McGoron
| 2025-06-28 | 1 | -0/+18 |
| * | Change environments in untyped LC to use location comparators instead of | Peter McGoron
| 2025-06-28 | 2 | -13/+31 |
| * | fix self-syntax and shadowing of syntax keywords | Peter McGoron
| 2025-06-28 | 1 | -1/+6 |
| * | first pass at a syntax expander for pure LC | Peter McGoron
| 2025-06-28 | 1 | -3/+20 |
| * | reenable tests | Peter McGoron
| 2025-06-20 | 1 | -2/+2 |
| * | test (x ... y ... z ...) | Peter McGoron
| 2025-06-20 | 2 | -3/+41 |
| * | add vector patterns | Peter McGoron
| 2025-06-20 | 1 | -1/+35 |
| * | add extra tests and fix temporary generation for renaming | Peter McGoron
| 2025-06-20 | 1 | -1/+39 |
| * | more list tests | Peter McGoron
| 2025-06-19 | 1 | -1/+36 |
| * | self-syntax tests for producer | Peter McGoron
| 2025-06-19 | 1 | -25/+41 |
| * | Add ellipsis escape form | Peter McGoron
| 2025-06-19 | 1 | -23/+39 |
| * | add support for multiple ellipses in a sequence in producers | Peter McGoron
| 2025-06-19 | 1 | -7/+18 |
| * | Rework PNL calculations in pattern producer, fix producer test | Peter McGoron
| 2025-06-19 | 1 | -5/+17 |
| * | pattern testing | Peter McGoron
| 2025-06-17 | 3 | -6/+63 |
| * | move common procedures for matcher and producer to internal | Peter McGoron
| 2025-05-02 | 1 | -0/+1 |
| * | move utils to new library, emit ellipsis dag from matcher compiler | Peter McGoron
| 2025-04-26 | 2 | -11/+43 |
| * | document pattern matcher, add ellipsis groups | Peter McGoron
| 2025-04-26 | 1 | -48/+37 |
| * | reorganize pattern module | Peter McGoron
| 2025-04-25 | 3 | -6/+9 |
| * | test vectors with matches after an ellipses | Peter McGoron
| 2025-04-25 | 1 | -1/+38 |
| * | support literals as a list of identifiers, test literals | Peter McGoron
| 2025-04-25 | 1 | -16/+35 |
| * | fix nested ellipses | Peter McGoron
| 2025-04-25 | 1 | -4/+88 |
| * | rewrite expander | Peter McGoron
| 2025-04-25 | 1 | -7/+20 |
| * | fix pattern list creation | Peter McGoron
| 2025-04-24 | 2 | -2/+21 |
| * | add pattern matcher and some tests | Peter McGoron
| 2025-04-24 | 3 | -0/+94 |
| * | add tests for bound-identifier-comparator | Peter McGoron
| 2025-04-24 | 1 | -107/+150 |
| * | start work on the fundamental syntax object | Peter McGoron
| 2025-04-23 | 3 | -0/+173 |
Peter McGoron