team-worthwhile/worthwhile — Issue #70: Allow arrays as variables in quantified expressions
Author: jspam
Created: 2012-02-18 23:47:39+00:00
State: open
Labels: parser / validator / typesystem

Since all quantified expressions are evaluated by the prover anyway, we should allow expressions like ```forall Integer[] x …```, which the prover has no problem with.