Skip to content
GitLab
Explore
Sign in
Register
Glasgow Haskell Compiler
GHC
Wiki
Type nats
basics
basics
· Changes
Page history
Edit TypeNats/Basics
authored
Jan 16, 2011
by
diatchki
Show whitespace changes
Inline
Side-by-side
type-nats/basics.md
View page @
e83b6353
...
@@ -135,12 +135,3 @@ An easy way to avoid such problems is to implement the implicit style functions
...
@@ -135,12 +135,3 @@ An easy way to avoid such problems is to implement the implicit style functions
```
wiki
```
wiki
memsetAuto arr val = memset arr val nat
memsetAuto arr val = memset arr val nat
```
```
## 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