git.iko.soy/Idris-dev
on 09a4aaa 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