git.iko.soy/Idris-dev
on caed480 help sign in
history ofsrc/Idris/Core/CaseTree.hs
all commits
46e894dUse Data.Text for variable namesEdwin Brady 66ec833Minor memory usage improvementsEdwin Brady 7604451Cache argument types for building case treesEdwin Brady 7e885b3Disallow explicit types on LHSEdwin Brady ad995dcCheck that case does not overspecialiseEdwin Brady 5000aebAdd a Cabal libraryBrian McKenna