git.iko.soy/Idris-dev
on cf47310 help sign in
history oftest/error003/expected
all commits
85a9d50Update error messages in testsEdwin Brady 62419f4set console width / adjust tests by using --consolewidth to make them work with the curses flagAndreas Reuleaux 43127b1Move Fin, Vect and So from prelude to baseEdwin Brady b2017d2Pattern variables should be lifted to top levelEdwin Brady e363c09Better treatment of unbound implicitsEdwin Brady 88aa6d1Support mixed induction/coinduction with Inf typeEdwin Brady 5e0a984Remove the ability to reflect At and ElaboratingDavid Raymond Christiansen 1d2fc7fCategorise testsEdwin Brady