This is a shitty language that you should avoid and it was only created for a for a compiler class' assignment.
The specification is written in LaTeX. You can use pdflatex to generate the
specification PDF from the source file spec.tex
.
pdflatex spec.tex