new line for heading 4 and 6

robstoll · web-flow · commit d6d7ab24cebf · 2018-03-25T19:27:51.000+02:00
diff --git a/docs/docs/reference/erased-terms.md b/docs/docs/reference/erased-terms.md
@@ -181,6 +181,7 @@ Rules
 
 
 4. Eta expansion
+
    if `def f(erased x: T): U` then `f: (erased T) => U`.
 
 
@@ -192,6 +193,7 @@ Rules
 
 
 6. Overloading
+
    Method with `erased` parameters will follow the normal overloading constraints after erasure.
 
 
