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