team-worthwhile/worthwhile — Issue #80: "No viable alternative at input" when forall is not in brackets
Author: leonhandreke
Created: 2012-02-20 08:35:07+00:00
State: open
Labels: grammar

`_assert true ∧ ∀ Integer i: true` gives me the error "no viable alternative at input ∀".

`_assert true ∧ (∀ Integer i: true)` works.