type-nats.md

@@ -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)
 - [Alternative Design For Singletons](type-nats/alternative-singletons)
-
 - [Axioms for Natural Number Operators](type-nats/axioms)
 - GHC Interaction Rules ([Notational Conventions](type-nats/rule-notation))