... | ... | @@ -143,18 +143,4 @@ type family m ^ n :: Nat |
|
|
type family m * n :: Nat
|
|
|
type family m + n :: Nat
|
|
|
class m <= n
|
|
|
```
|
|
|
|
|
|
## Natural Numbers
|
|
|
|
|
|
```wiki
|
|
|
data Natural = forall n . Natural !(Nat n)
|
|
|
|
|
|
data NaturalInteger
|
|
|
= Negative Natural
|
|
|
| NonNegative Natural
|
|
|
|
|
|
toNaturalInteger :: Integer -> NaturalInteger
|
|
|
|
|
|
subNatural :: Natural -> Natural -> NaturalInteger
|
|
|
``` |
|
|
\ No newline at end of file |