git.iko.soy/Idris-dev
on e63fcef help sign in
history ofsrc/Idris/Core/Unify.hs
all commits
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