git.iko.soy/Idris-dev
on 0bc69fb 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/Add some string primitives (may need latest Epic) 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...