git.iko.soy/Idris-dev
on bb013f0 help sign in
Idris-dev/test/basic006
4 files
../ expectedRecord provenance of types in 'fill' errors runCategorise tests test020.idrMove Fin, Vect and So from prelude to base test020a.idrMove Fin, Vect and So from prelude to base