git.iko.soy/Idris-dev
on 7afa310 help sign in
Idris-dev/test/idrisdoc002
4 files
../ TestFunctions.idrAdded IdrisDoc tests expectedRemoved test backups and converted tests to pure bash scripts runRemoved test backups and converted tests to pure bash scripts test_functions.ipkgAdded IdrisDoc tests