diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2024-08-27 23:00:13 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2024-08-27 23:00:13 +0200 |
| commit | a6f925deaa2044a0fe18a74fc52703e00f111056 (patch) | |
| tree | 510703e2ec030a24a668ab50dd7abc90062e95db /test/Arith.hs | |
| parent | 250e3beae7a961fc740f775a563c303b4cc390fe (diff) | |
WIP lower to de bruijn indices
Diffstat (limited to 'test/Arith.hs')
0 files changed, 0 insertions, 0 deletions