git.iko.soy/Idris-dev
on cdff1db help sign in
Idris-dev/test/idrisdoc005
4 files
../ TestTracing.idrAdded IdrisDoc tests expectedRemoved test backups and converted tests to pure bash scripts runRemoved test backups and converted tests to pure bash scripts test_tracing.ipkgAdded IdrisDoc tests