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