git.iko.soy/Idris-dev
on bf37049 help sign in
Idris-dev/test/proof005
3 files
../ DefaultArgSubstitutionSuccess.idrConsistency of implicit/pattern name binding rules expectedTests on default args and substitution runTests on default args and substitution