git.iko.soy/Idris-dev
on 54e4e41 help sign in
history oftest/error004/FunErrTest.idr
all commits
a737c5dUse predicates instead of equality proofs in ListEdwin Brady 7f20febDon't totality check PE definitionsEdwin Brady 17bab90Fixed some accidentally wrong renamings. Also, adapted some tests to the new namesAhmad Salim Al-Sibahi f0ed9e9First renaming attemptAhmad Salim Al-Sibahi 0337afeMake proof arguments to list functions implicitDavid Raymond Christiansen fb6a0edCoverage checker fixEdwin Brady fc949b9Re-enable function arg error reflectionDavid Raymond Christiansen be0bf4cTemporarily remove function argument error reflectionDavid Raymond Christiansen 1d2fc7fCategorise testsEdwin Brady