Loading syntax-doc.disco...
Running tests...
  x: OK
Loaded.
x : ℕ

This is some documentation.

More documentation after a blank line.