Skip to content
GitLab
Explore
Sign in
Register
Glasgow Haskell Compiler
GHC
Repository
ghc
compiler
typecheck
TcInteract.lhs
Find file
Blame
History
Permalink
Dropping the idempotence restriction on the inert substitution,
· 5802ebdd
dimitris
authored
Apr 02, 2012
for efficiency. More documentation to follow.
5802ebdd