diff options
| author |  Peter McGoron
| 2025-07-09 17:35:20 -0400 |
|---|---|---|
| committer | Peter McGoron
| 2025-07-09 17:35:20 -0400 |
| commit | 3f563dc7a682003e5fd3e4d4c1b88a109e046ddc (patch) | |
| tree | 411fdbf6e480a05d77977f562448f4bc5dc3db3e /test | |
| parent | add syntax-error, only evaluate defined terms to weak head normal form (diff) | |
fix improper list patterns
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions