git.iko.soy/Idris-dev
on 7d42ba2 help sign in
Idris-dev/test/proof007
3 files
../ DefaultArgUnknownName.idrUse a zipper-like proof state expectedSupport scoped type class constraints runTests on default args and substitution