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