git.iko.soy/Idris-dev
on 465cc1c help sign in
Idris-dev/test/reg055
4 files
../ expectedBetter typecase check reg055.idrNew way of dealing with unmatchable patterns reg055a.idrBetter typecase check runadjust tests with --consolewidth for use with -f curses