git.iko.soy/Idris-dev
on db07875 help sign in
Idris-dev/test/interactive003
4 files
../ expectedProof search should only use user visible names inputProof search should only use user visible names interactive003.idrProof search should only use user visible names runProof search fix