git.iko.soy/Idris-dev
on a463bb1 help sign in
Idris-dev/test/error003
3 files
../ ErrorReflection.idrPurify Idris of "return" expectedDon't query width when not a tty runRemove redundant --consolewidth settings in tests