git.iko.soy/Idris-dev
on de2011f help sign in
Idris-dev/test/basic006
4 files
../ expectedMove Fin, Vect and So from prelude to base runCategorise tests test020.idrMove Fin, Vect and So from prelude to base test020a.idrMove Fin, Vect and So from prelude to base