git.iko.soy/Idris-dev
on bf4e535 help sign in
history oftest/totality006/expected
all commits
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