git.iko.soy/Idris-dev
on da61891 help sign in
Idris-dev/test/interactive009
4 files
../ expectedFix bracketing when solving holes interactively inputMove resolveTC to ProofSearch.hs interactive009.idrMove resolveTC to ProofSearch.hs runmake the tests respect the IDRIS env variable