Difference between revisions of "Talk:Parsing expressions and statements"
Jump to navigation
Jump to search
(References to more powerful parser options) |
(No difference)
|
Revision as of 16:09, 5 November 2015
It would be good to have a reference to a parsing tool that had better support for prefix operators. For example how do you parse an expression like this: ∃x. ∃y. x=y