Skip to content
GitLab
Explore
Sign in
Register
obsidiansystems
GHC
Repository
ghc
compiler
types
Coercion.lhs
Find file
Blame
History
Permalink
Comments only: replace ":=:" by "~" (notation for equality predicates)
· 5e5310b3
Simon Peyton Jones
authored
Sep 20, 2008
5e5310b3