git.iko.soy/Idris-dev
on 8e4bfd9 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.idrFile IO type indicates possibility of failure