git.iko.soy/Idris-dev
on d7df489 help sign in
Idris-dev/test
4 folders, 3 files
../ test001/Generate bytecode so that files don't need to be rechecked every time they're loaded test002/Don't write .ibc on error; add new test test003/More in test003; requires latex epic fix test004/Correct test004 MakefileAdded test directory and a single test... mktest.plGenerate bytecode so that files don't need to be rechecked every time they're loaded runtest.plAdded test directory and a single test...