Skip to content
GitLab
Explore
Sign in
Register
Glasgow Haskell Compiler
GHC
Wiki
Type nats
operations
operations
· Changes
Page history
Edit TypeNats/Operations
authored
Jan 16, 2011
by
diatchki
Hide whitespace changes
Inline
Side-by-side
type-nats/operations.md
0 → 100644
View page @
a910f157
## Type-Level Operations
```
wiki
type family m ^ n :: Nat
type family m * n :: Nat
type family m + n :: Nat
class m <= n
```
\ No newline at end of file