Skip to content
GitLab
Explore
Sign in
Register
Alex D
GHC
Repository
ghc
compiler
typecheck
Inst.lhs
Find file
Blame
History
Permalink
An implication constraint can abstract over EqInsts
· 0c11d889
Simon Peyton Jones
authored
Oct 27, 2007
0c11d889