Changes

Page history
Edit TypeNats authored by diatchki's avatar diatchki
Show whitespace changes
Inline Side-by-side
type-nats.md
View page @ 06cb1e15
...@@ -8,6 +8,7 @@ This page collects information on how to work with type-level natural numbers, a ...@@ -8,6 +8,7 @@ This page collects information on how to work with type-level natural numbers, a
- [Implementation of GHC.TypeNats](type-nats/implementation) - [Implementation of GHC.TypeNats](type-nats/implementation)
- [Design Notes about Nat vs. TypeNat](type-nats/implicit-explicit) - [Design Notes about Nat vs. TypeNat](type-nats/implicit-explicit)
- [Axioms for Natural Number Operators](type-nats/axioms) - [Axioms for Natural Number Operators](type-nats/axioms)
- [GHC Interaction Rules](type-nats/rules)
External links: External links:
... ...
......