Changes

Page history
Edit TypeNats authored by diatchki's avatar diatchki
Show whitespace changes
Inline Side-by-side
type-nats.md
View page @ c7a751ee
...@@ -13,7 +13,6 @@ This page collects information on how to work with type-level natural numbers, a ...@@ -13,7 +13,6 @@ 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)
- [Alternative Design For Singletons](type-nats/alternative-singletons) - [Alternative Design For Singletons](type-nats/alternative-singletons)
- [Axioms for Natural Number Operators](type-nats/axioms) - [Axioms for Natural Number Operators](type-nats/axioms)
- GHC Interaction Rules ([Notational Conventions](type-nats/rule-notation)) - GHC Interaction Rules ([Notational Conventions](type-nats/rule-notation))
... ...
......