git.iko.soy/Idris-dev
on be22ac6 help sign in
Idris-dev/test/totality006
5 files
../ expectedadjust test totality006 with --consolewidth for use with -f curses runadjust test totality006 with --consolewidth for use with -f curses 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