git.iko.soy/Idris-dev
on 465cc1c help sign in
Idris-dev/test/reg035
5 files
../ expectedMove Fin, Vect and So from prelude to base reg035.idrFirst renaming attempt reg035a.lidrMove Fin, Vect and So from prelude to base reg035b.idrMove Fin, Vect and So from prelude to base runadjust tests with --consolewidth for use with -f curses