git.iko.soy/Idris-dev
on be33671 help sign in
Idris-dev/test
1 folder, 3 files
../ test001/Since we can overload things, might as well use less ugly names ;) MakefileAdded test directory and a single test... mktest.plAdded test directory and a single test... runtest.plAdded test directory and a single test...