git.iko.soy/Idris-dev
on 37845e4 help sign in
Idris-dev/test/totality004
4 files
../ expectedadjust test totality004 with --consolewidth for use with -f curses runadjust test totality004 with --consolewidth for use with -f curses totality004.idrAddress semantic differences in putting things to STDOUT. totality004a.idrAddress semantic differences in putting things to STDOUT.