git.iko.soy/Idris-dev
on 385dcbf help sign in
history oftest/totality002/expected
all commits
09263c1Don't query width when not a ttyNiklas Larsson 752a2fcUpdate tests for proof deprecationDavid Raymond Christiansen d9482aeadjust test totality002 with --consolewidth for use with -f cursesAndreas Reuleaux 43127b1Move Fin, Vect and So from prelude to baseEdwin Brady 1d2fc7fCategorise testsEdwin Brady