diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2024-01-22 12:13:39 +0000 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2024-01-22 12:13:39 +0000 |
| commit | b2d0b395695b65c284dc042f77253f2827ab4009 (patch) | |
| tree | a6b1c6121550e2ad43bb211ae8916bc1810ac7ed /src/Total/Term/CoDebruijn.idr | |
| parent | f0f44fe7815435836bc625e837e891188ae8d801 (diff) | |
Add test driver.HEADonly-codebruijn
Diffstat (limited to 'src/Total/Term/CoDebruijn.idr')
0 files changed, 0 insertions, 0 deletions