tartrazine/spec/tests/idris
2024-08-04 19:18:43 -03:00
..
test_compiler_directive.txt Reorganize tests into a real spec suite 2024-08-04 19:18:43 -03:00
test_reserved_word.txt Reorganize tests into a real spec suite 2024-08-04 19:18:43 -03:00