| ... | @@ -12,6 +12,7 @@ This page collects information on how to work with type-level natural numbers, a |
... | @@ -12,6 +12,7 @@ This page collects information on how to work with type-level natural numbers, a |
|
|
|
|
|
|
|
- [Top-Level Interactions](type-nats/interact1)
|
|
- [Top-Level Interactions](type-nats/interact1)
|
|
|
- [Simple Inert Interactions](type-nats/interact2)
|
|
- [Simple Inert Interactions](type-nats/interact2)
|
|
|
|
- [Solving (\<=) Predicates](type-nats/leq)
|
|
|
|
|
|
|
|
|
|
|
|
|
External links:
|
|
External links:
|
| ... | | ... | |
