[Haskell-cafe] Injective type families for GHC - syntax proposals

flicky frans flickyfrans at gmail.com
Thu Sep 18 20:17:49 UTC 2014

Previous message: [Haskell-cafe] Injective type families for GHC - syntax proposals
Next message: [Haskell-cafe] Injective type families for GHC - syntax proposals
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Sorry.

   type family Plus a b = r :: Nat | r a -> b, r b -> a where

Previous message: [Haskell-cafe] Injective type families for GHC - syntax proposals
Next message: [Haskell-cafe] Injective type families for GHC - syntax proposals
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Haskell-Cafe mailing list