git.iko.soy/Idris-dev
on c997a48 help sign in
Idris-dev/test
1 folder, 3 files
../ test001/Added 'module' keyword to declare default namespace. 'main' must be in namespace 'main' MakefileAdded test directory and a single test... mktest.plAdded test directory and a single test... runtest.plAdded test directory and a single test...