| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Fix evaluation to do substitutions under lambdas even when evaluating to |  Peter McGoron
| 2025-07-10 | 2 | -15/+46 |
| * | fix improper list patterns | Peter McGoron
| 2025-07-09 | 3 | -9/+10 |
| * | add syntax-error, only evaluate defined terms to weak head normal form | Peter McGoron
| 2025-07-09 | 6 | -123/+67 |
| * | clean up syntax-object.scm | Peter McGoron
| 2025-07-09 | 2 | -75/+114 |
| * | test normal order evaluation | Peter McGoron
| 2025-07-09 | 1 | -0/+5 |
| * | normal order evaluator | Peter McGoron
| 2025-07-09 | 5 | -20/+184 |
| * | debruijnize converts functions to curry form | Peter McGoron
| 2025-07-03 | 5 | -206/+79 |
| * | add inject-primitive | Peter McGoron
| 2025-07-02 | 1 | -7/+13 |
| * | Store names in lexical locations | Peter McGoron
| 2025-07-02 | 4 | -102/+137 |
| * | replace location-comparator with free-identifier-comparator | Peter McGoron
| 2025-06-28 | 4 | -26/+56 |
| * | move tests to their own file; use debruijn form to test alpha equivalence | Peter McGoron
| 2025-06-28 | 5 | -47/+121 |
| * | Fix list ellipses pattern matching | Peter McGoron
| 2025-06-28 | 7 | -36/+100 |
| * | Change environments in untyped LC to use location comparators instead of | Peter McGoron
| 2025-06-28 | 5 | -60/+83 |
| * | fix self-syntax and shadowing of syntax keywords | Peter McGoron
| 2025-06-28 | 4 | -8/+35 |
| * | first pass at a syntax expander for pure LC | Peter McGoron
| 2025-06-28 | 6 | -22/+708 |
| * | 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 | 2 | -2/+47 |
| * | add extra tests and fix temporary generation for renaming | Peter McGoron
| 2025-06-20 | 4 | -27/+95 |
| * | 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 | 5 | -40/+77 |
| * | add support for multiple ellipses in a sequence in producers | Peter McGoron
| 2025-06-19 | 2 | -17/+35 |
| * | Rework PNL calculations in pattern producer, fix producer test | Peter McGoron
| 2025-06-19 | 2 | -27/+49 |
| * | pattern testing | Peter McGoron
| 2025-06-17 | 6 | -36/+130 |
| * | producer | Peter McGoron
| 2025-06-16 | 5 | -20/+341 |
| * | move common procedures for matcher and producer to internal | Peter McGoron
| 2025-05-02 | 8 | -88/+183 |
| * | move utils to new library, emit ellipsis dag from matcher compiler | Peter McGoron
| 2025-04-26 | 7 | -54/+128 |
| * | document pattern matcher, add ellipsis groups | Peter McGoron
| 2025-04-26 | 3 | -111/+191 |
| * | reorganize pattern module | Peter McGoron
| 2025-04-25 | 5 | -8/+11 |
| * | test vectors with matches after an ellipses | Peter McGoron
| 2025-04-25 | 2 | -10/+53 |
| * | support literals as a list of identifiers, test literals | Peter McGoron
| 2025-04-25 | 2 | -17/+44 |
| * | fix nested ellipses | Peter McGoron
| 2025-04-25 | 2 | -7/+99 |
| * | rewrite expander | Peter McGoron
| 2025-04-25 | 3 | -145/+276 |
| * | fix pattern list creation | Peter McGoron
| 2025-04-24 | 4 | -20/+38 |
| * | fix is-ellipsis-list | Peter McGoron
| 2025-04-24 | 1 | -1/+1 |
| * | add pattern matcher and some tests | Peter McGoron
| 2025-04-24 | 5 | -0/+309 |
| * | add tests for bound-identifier-comparator | Peter McGoron
| 2025-04-24 | 3 | -121/+175 |
| * | start work on the fundamental syntax object | Peter McGoron
| 2025-04-23 | 7 | -0/+807 |
Peter McGoron