git.iko.soy/Idris-dev
on 536112d help sign in
Idris-dev/test
1 folder, 3 files
../ test001/Added test directory and a single test... MakefileAdded test directory and a single test... mktest.plAdded test directory and a single test... runtest.plAdded test directory and a single test...