git.iko.soy/Idris-dev
on e0861bb help sign in
Idris-dev/test/dsl002
5 files
../ Resimp.idrMove Fin, Vect and So from prelude to base expectedCategorise tests runFix filename case in test run scripts testCategorise tests test014.idrCategorise tests