PDF (easiest viewing)
LaTeX (most up-to-date, but you need LaTeX)
Note: This is the specification of the Eidola language, not examples of programs written in the language. This is a point of some confusion -- all those math symbols are not Eidola programs; rather, they are a description of the Eidola language. Actual Eidola programs will look no more like the semantics than an actual C program looks like the C grammar.