git.iko.soy/Idris-dev
on c4f3c1e 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