git.iko.soy/Idris-dev
on cd8a233 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