git.iko.soy/Idris-dev
on a5e76fc help sign in
history oftest/error004/expected
all commits
62419f4set console width / adjust tests by using --consolewidth to make them work with the curses flagAndreas Reuleaux 0337afeMake proof arguments to list functions implicitDavid Raymond Christiansen f490d9fFix testDavid Raymond Christiansen 57c3ffcAdd application context to all error messagesDavid Raymond Christiansen be0bf4cTemporarily remove function argument error reflectionDavid Raymond Christiansen 1d2fc7fCategorise testsEdwin Brady