Idris2/tests/chez/chez026
2023-09-07 14:57:22 +01:00
..
Dummy.idr Add test for builddir and outputdir fields 2020-06-20 17:24:05 +02:00
dummy.ipkg Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
expected [ cosmetic ] Say when you start compiling the executable (#2714) 2022-10-14 16:21:19 +01:00
run Add testing utilities script 2023-09-07 14:57:22 +01:00