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