Skip to content
GitLab
Explore
Sign in
Register
Glasgow Haskell Compiler
GHC
Wiki
Type nats
implementation
implementation
· Changes
Page history
Edit TypeNats/Implementation
authored
Jan 16, 2011
by
diatchki
Hide whitespace changes
Inline
Side-by-side
type-nats/implementation.md
View page @
1e952d83
...
...
@@ -6,9 +6,6 @@ newtype Nat (n :: Nat) = Nat Integer
natToInteger :: Nat n -> Integer
natToInteger (Nat n) = n
integerToNat :: Integer -> (forall n. Nat n -> a) -> a
integerToNat n k = k (Nat n)
```
...
...