git.iko.soy/Idris-dev
on bc8da8d help sign in
history oftest/totality006/expected
all commits
09263c1Don't query width when not a ttyNiklas Larsson 694bdf6adjust test totality006 with --consolewidth for use with -f cursesAndreas Reuleaux 54451e4Test case that was accidentally accepted beforeDavid Raymond Christiansen 43127b1Move Fin, Vect and So from prelude to baseEdwin Brady 17bab90Fixed some accidentally wrong renamings. Also, adapted some tests to the new namesAhmad Salim Al-Sibahi 9abed6aTweak notion of recoverability in coverage checkerEdwin Brady