... | @@ -6,9 +6,6 @@ newtype Nat (n :: Nat) = Nat Integer |
... | @@ -6,9 +6,6 @@ newtype Nat (n :: Nat) = Nat Integer |
|
|
|
|
|
natToInteger :: Nat n -> Integer
|
|
natToInteger :: Nat n -> Integer
|
|
natToInteger (Nat n) = n
|
|
natToInteger (Nat n) = n
|
|
|
|
|
|
integerToNat :: Integer -> (forall n. Nat n -> a) -> a
|
|
|
|
integerToNat n k = k (Nat n)
|
|
|
|
```
|
|
```
|
|
|
|
|
|
|
|
|
... | | ... | |