git.iko.soy/Idris-dev
on 4162113 help sign in
Idris-dev/test/dsl002
5 files
../ Resimp.idrHide more features behind %language pragmas expectedUpdate tests to reflect the change of idris_readStr runmake the tests respect the IDRIS env variable testCategorise tests test014.idrPurify Idris of "return"