git.iko.soy/Idris-dev
on eac558e help sign in
Idris-dev/test/interactive003
4 files
../ expectedRevert to old behaviour on expression search inputProof search should only use user visible names interactive003.idrProof search should only use user visible names runFix formatting of some tests