Skip to content
GitLab
Explore
Sign in
Register
Glasgow Haskell Compiler
GHC
Repository
ghc
compiler
types
Coercion.lhs
Find file
Blame
History
Permalink
Exploit the invariant for AxInstCo to simplify coercionKind
· 2ec39c76
Simon Peyton Jones
authored
Jan 22, 2013
2ec39c76