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