wiki:TypeNats/Operations

Version 1 (modified by diatchki, 3 years ago) (diff)

--

Type-Level Operations

type family m ^ n :: Nat
type family m * n :: Nat
type family m + n :: Nat
class m <= n