git.iko.soy/Idris-dev
on bc8da8d help sign in
Idris-dev/test/totality008
3 files
../ expectedDon't query width when not a tty runRemove redundant --consolewidth settings in tests totality008.idrConsistency of implicit/pattern name binding rules