git.iko.soy/Idris-dev
on e8a41dc help sign in
Idris-dev/test/interactive004
4 files
../ expectedMake --quiet imply non-verbosity 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