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