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