git.iko.soy/Idris-dev
on fdbee50 help sign in
history ofsrc/Idris/Core/ProofState.hs
all commits
f47329cShortcut unification updatesEdwin Brady 4e6adebSeparate Core NFData instancesEdwin Brady fa364caCheck for cyclic solutions in unificationEdwin Brady fef1207Make note of unapplied unifiation solutionsEdwin Brady 3191f16Induction works for all types with eliminators now (some eliminators still need fixing) including those with indicies.Ahmad Salim Al-Sibahi d7f4e11Induction now works on types with parametersAhmad Salim Al-Sibahi 0700c58Fix another INTERNAL ERROREdwin Brady 2f5c756Better error message for 'Not a guess'Edwin Brady 67da31aMerge branch 'master' into cabal-libraryBrian McKenna 5000aebAdd a Cabal libraryBrian McKenna