disco-0.1.0.0: test/syntax-doc/syntax-doc.disco

||| This is some documentation.
|||
||| More documentation after a blank line.

!!! x == 3 -- A property

||| Yet more documentation.

x : Nat
x = 3