git.iko.soy/Idris-dev
on 90aa3d8 help sign in
Idris-dev/test/proof007
3 files
../ DefaultArgUnknownName.idrTests on default args and substitution expectedTests on default args and substitution runTests on default args and substitution