Idris2-boot/tests/chez/chez001
Edwin Brady 69199639cf Fix Nat hack
And add chez scheme section to tests, with one initial test
2019-06-25 14:05:54 +01:00
..
expected Fix Nat hack 2019-06-25 14:05:54 +01:00
input Fix Nat hack 2019-06-25 14:05:54 +01:00
run Fix Nat hack 2019-06-25 14:05:54 +01:00
Total.idr Fix Nat hack 2019-06-25 14:05:54 +01:00