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