git.iko.soy/Idris-dev
on 85e91ef help sign in
Idris-dev/test
5 folders, 4 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 test005/New test MakefileAdded test directory and a single test... READMEFix obscure where naming bug 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...