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