(Changed in version 2.9.0) The p0
call-by-name arguments is evaluated at most once per constructed Parser object, instead of on every need that arises during parsing.
(Changed in version 2.10.0) stringLiteral
allows escaping single and double quotes, but not forward slashes any longer.
This code works around some limitations of latex syntax and adds alternative syntax for abstraction, application and adds support of some macros used in the n-tape proof.