git.iko.soy/Idris-dev
on 239c8ca help sign in
Idris-dev/test/dsl002
5 files
../ Resimp.idrFix import public error expectedUpdate tests to reflect the change of idris_readStr runFix filename case in test run scripts testCategorise tests test014.idrReading from a file shouldn't strip \n