| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | move tests to their own file; use debruijn form to test alpha equivalence | 2025-06-28 | 1 | -46/+4 | |
| * | Fix list ellipses pattern matching | 2025-06-28 | 1 | -0/+18 | |
| * | Change environments in untyped LC to use location comparators instead of | 2025-06-28 | 1 | -7/+25 | |
| * | fix self-syntax and shadowing of syntax keywords | 2025-06-28 | 1 | -1/+6 | |
| * | first pass at a syntax expander for pure LC | 2025-06-28 | 1 | -3/+20 | |
| * | reenable tests | 2025-06-20 | 1 | -2/+2 | |
| * | pattern testing | 2025-06-17 | 1 | -6/+11 | |
| * | move common procedures for matcher and producer to internal | 2025-05-02 | 1 | -0/+1 | |
| * | move utils to new library, emit ellipsis dag from matcher compiler | 2025-04-26 | 1 | -0/+1 | |
| * | reorganize pattern module | 2025-04-25 | 1 | -3/+3 | |
| * | add pattern matcher and some tests | 2025-04-24 | 1 | -0/+5 | |
| * | start work on the fundamental syntax object | 2025-04-23 | 1 | -0/+16 |
