git.iko.soy/Idris-dev
on master help sign in
Idris-dev/test/totality006
5 files
../ expected.outRename expected, input and run run.shRename expected, input and run totality006.idrMove Fin, Vect and So from prelude to base totality006a.idrMove Fin, Vect and So from prelude to base totality006b.idrFix 'impossible' check