Idris2/tests/chez/chez013
2023-09-07 14:57:22 +01:00
..
.gitignore Add test script 2020-05-19 18:25:18 +01:00
expected Remove trivial testing input files 2023-09-07 14:57:22 +01:00
Makefile More fixes and improvements 2020-05-20 15:31:30 +06:00
run Remove trivial testing input files 2023-09-07 14:57:22 +01:00
struct.c fixed whitespace for *.c and *.h files 2021-01-22 15:08:49 +00:00
struct.h Use pragma once instead of include guard 2021-06-28 12:05:22 +01:00
Struct.idr Add test script 2020-05-19 18:25:18 +01:00