Skip to content
GitLab
Explore
Sign in
Register
Glasgow Haskell Compiler
GHC
Repository
ghc
compiler
typecheck
TcType.hs
Find file
Blame
History
Permalink
Rename RuntimeRepPolymorphism to LevityPolymorphism
· 03766cdb
Simon Peyton Jones
authored
Nov 30, 2016
Richard and I decided to make this change in our paper, and I'm just propagating it to GHC
03766cdb