4.5 Comments
TBoS p.43, SD
Shen follows the convention of starting comments with \* and ending with *\.
Multiline comments can include comments and new lines. Single line comments begin with
\\ and are terminated with a new line.
\* This is a multiline
comment which is ignored *\
This is not ignored.
\\ This is a single line comment |