| Notes: |
| Release Name: Beta 4
Notes:
Beta 4
Changes:
Big change - forall and exists statements now require parenthesis:
'forall' '(' declaration 'in' range '|' expression ')'
'exists' '(' declaration 'in' range '|' expression ')'
This makes the syntax parse a lot better and opens up the possibility for a 'count' operator...
|
|
