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
Hide whitespace changes
Inline
Side-by-side
type-nats/basics.md
View page @
82ac91b8
...
...
@@ -15,7 +15,7 @@ These types are linked to the value world by a small library with the following
module GHC.TypeNats where
```
##
Basic Operation
s
##
Singleton Type
s
```
wiki
data Nat n
...
...