j
k
j a
j l
On Fri, 19 Sep 2014 00:17:49 +0400, flicky frans wrote:
Sorry. type family Plus a b = r :: Nat | r a -> b, r b -> a where
Sorry.
type family Plus a b = r :: Nat | r a -> b, r b -> a where
+1 Simple, intuitive and backwards compatible. I don't have to introduce a variable if I don't want to, either.
Back to the thread
Back to the list
