git.iko.soy/Idris-dev
on 7d42ba2 help sign in
Idris-dev/test/totality006
5 files
../ expectedTest case that was accidentally accepted before runTest case that was accidentally accepted before totality006.idrMove Fin, Vect and So from prelude to base totality006a.idrMove Fin, Vect and So from prelude to base totality006b.idrTest case that was accidentally accepted before