|
|
|
|
|
|
|
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)).
|
|
|
|
|
|
|
|
- [Type-Level Naturals Basics](type-nats/basics)
|
|
|
|
- [Simple Examples of Using GHC.TypeNats](type-nats/basic-examples)
|
|
|
|
- [Implementation of GHC.TypeNats](type-nats/implementation)
|
|
|
|
- [Design Notes about Nat vs. TypeNat](type-nats/implicit-explicit)
|
|
|
|
|
|
|
|
|
|
|
|
External links:
|
|
|
|
|
|
|
|
- [ Source repos](http://code.galois.com/darcs/type-naturals/)
|
|
|
|
- More advanced example: [ https://github.com/yav/memory-arrays/tree/master](https://github.com/yav/memory-arrays/tree/master) |
|
|
|
\ No newline at end of file |
