git.iko.soy/Idris-dev
on db07875 help sign in
Idris-dev/test/interactive009
4 files
../ expectedMove resolveTC to ProofSearch.hs inputMove resolveTC to ProofSearch.hs interactive009.idrMove resolveTC to ProofSearch.hs runMove resolveTC to ProofSearch.hs