git.iko.soy/Idris-dev
on 372d2ea 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 runmake the tests respect the IDRIS env variable