git.iko.soy/Idris-dev
on 6bef4f9 help sign in
Idris-dev/test
1 folder, 3 files
../ test001/Overloading lists and syntactic sugar MakefileAdded test directory and a single test... mktest.plAdded test directory and a single test... runtest.plAdded test directory and a single test...