Skip to content
GitLab
Explore
Sign in
Register
Changes
Page history
Edit TypeNats
authored
Nov 24, 2010
by
diatchki
Hide whitespace changes
Inline
Side-by-side
type-nats.md
View page @
af9531ad
# Type Level Naturals
This page collects information on how to work with type-level natural numbers, as implemented in the Haskell compiler GHC (ticket
[
\#4385
](
https://gitlab.haskell.org//ghc/ghc/issues/4385
)
).
...
...