git.iko.soy/Idris-dev
on da61891 help sign in
Idris-dev/test/interactive002
4 files
../ expectedFix bracketing when solving holes interactively inputMove Fin, Vect and So from prelude to base interactive002.idrMove Fin, Vect and So from prelude to base runmake the tests respect the IDRIS env variable