git.iko.soy/Idris-dev
on 239c8ca help sign in
history oftest/proof007/expected
all commits
85a9d50Update error messages in testsEdwin Brady 8cc2312Don't let tests depend on colouring.Niklas Larsson 62419f4set console width / adjust tests by using --consolewidth to make them work with the curses flagAndreas Reuleaux c729d2fSupport scoped type class constraintsEdwin Brady ab36099Use a zipper-like proof stateEdwin Brady e363c09Better treatment of unbound implicitsEdwin Brady 9a25dfaTests on default args and substitutionTimo Petteri Sinnemäki