Idris2-boot/tests/idris2/total003
2019-09-24 20:26:25 +06:00
..
expected Add '--no-banner' option 2019-09-24 20:26:25 +06:00
input Add first batch of totality checking tests 2019-06-24 18:14:07 +01:00
run Add '--no-banner' option 2019-09-24 20:26:25 +06:00
Total.idr Add first batch of totality checking tests 2019-06-24 18:14:07 +01:00