git.iko.soy/Idris-dev
on bc8da8d help sign in
Idris-dev/test/totality004
4 files
../ expectedDon't query width when not a tty runRemove redundant --consolewidth settings in tests totality004.idrConsistency of implicit/pattern name binding rules totality004a.idrTotality checking now looks inside case directly