git.iko.soy/Idris-dev
on db306ca help sign in
history ofsrc/Idris/Core/Unify.hs
all commits
f52eafdFix for name shadowing in evaluatorEdwin Brady c15d4cbConversion checking tweakEdwin Brady ecfb293Evaluator bug fixEdwin Brady 6d3863dBetter environment management in unificationEdwin Brady 2cff556Another unification fixEdwin Brady c959fb0Unification changesEdwin Brady 130f437Remove | annotation, make Force/Delay implicitEdwin Brady 8e6e14aMerge remote-tracking branch 'upstream/master' into semantic-pprintDavid Raymond Christiansen 85e68a7Improve inference in monadic codeEdwin Brady 3848c07Record partial type inference infoEdwin Brady b5e97e4Show error contexts with pretty-printerDavid Raymond Christiansen 1fe537fFix naming problem in unificationEdwin Brady d82f5feMerge branch 'text-names'Edwin Brady 0c8c90dStrictness annotationsEdwin Brady 46e894dUse Data.Text for variable namesEdwin Brady fa364caCheck for cyclic solutions in unificationEdwin Brady 53b84ecMerge branch 'cabal-library' of https://github.com/puffnfresh/Idris-dev into puffnfresh-cabal-libraryEdwin Brady 5000aebAdd a Cabal libraryBrian McKenna