git.iko.soy/Idris-dev
on da672ec help sign in
Idris-dev/test/dsl002
5 files
../ Resimp.idrConsistency of implicit/pattern name binding rules 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