... | ... | @@ -10,7 +10,8 @@ This page collects information on how to work with type-level natural numbers, a |
|
|
- [Axioms for Natural Number Operators](type-nats/axioms)
|
|
|
- GHC Interaction Rules
|
|
|
|
|
|
- [Top-level interactions](type-nats/interact1)
|
|
|
- [Top-Level Interactions](type-nats/interact1)
|
|
|
- [Simple Inert Interactions](type-nats/interact2)
|
|
|
|
|
|
|
|
|
External links:
|
... | ... | |