git.iko.soy/Idris-dev
on 598aca4 help sign in
Idris-dev/test
1 folder, 3 files
../ test001/Update interp example and test001 to use namespaces and overloading names MakefileAdded test directory and a single test... mktest.plAdded test directory and a single test... runtest.plAdded test directory and a single test...