git.iko.soy/Idris-dev
on da0a382 help sign in
Idris-dev/test/dsl002
5 files
../ Resimp.idrPurify Idris of "return" expectedUpdate tests to reflect the change of idris_readStr runmake the tests respect the IDRIS env variable testCategorise tests test014.idrPurify Idris of "return"