git.iko.soy/Idris-dev
on a2c7b15 help sign in
Idris-dev/test/error005
3 files
../ error005.idrMove Fin, Vect and So from prelude to base expectedMove Fin, Vect and So from prelude to base runError reflection for Fin