| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | test normal order evaluation | 2025-07-09 | 1 | -0/+5 | |
| * | normal order evaluator | 2025-07-09 | 1 | -1/+60 | |
| * | debruijnize converts functions to curry form | 2025-07-03 | 1 | -1/+16 | |
| * | replace location-comparator with free-identifier-comparator | 2025-06-28 | 1 | -8/+24 | |
| * | move tests to their own file; use debruijn form to test alpha equivalence | 2025-06-28 | 1 | -0/+71 |
