Skip to content
GitLab
Explore
Sign in
Register
jberryman
GHC
Repository
ghc
libraries
base
GHC
TypeLits.hs
Find file
Blame
History
Permalink
Name changes and addition of gcastWith and (==) to Data.Type.Equality.
· eb6725b4
Richard Eisenberg
authored
Oct 20, 2013
For more info, see
http://ghc.haskell.org/trac/ghc/wiki/TypeLevelNamingIssues
eb6725b4