janhaag/PSE2011 — Issue #58: Grammar rule in help topic "Quantified expression" confusing
Author: ratefuchs
Created: 2012-02-28 16:37:53+00:00
State: open
Labels: Documentation

The grammar rule is confusing since the (boolean) expression that follows the quantifier part is missing.
It would be better to do this recursively like in the WhileLanguageGrammar (see Design/WhileLanguage.g).