git.iko.soy/Idris-dev
on cbbdb3e help sign in
Idris-dev/test/reg005
3 files
../ expectedCategorise tests reg005.idrMove Fin, Vect and So from prelude to base runMove Fin, Vect and So from prelude to base