git.iko.soy/Idris-dev
on da672ec help sign in
history oftest/proof007/expected
all commits
83f0af1Display expected type of RHS in error messagesEdwin Brady 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