Clarify the evaluation order for collection literal elements - #2175

Open

eernstg wants to merge 3 commits into

mainfrom

specify_collection_literal_order_mar22

Commits on Mar 30, 2022

Clarify the evaluation order for collection literal elements
eernstg
committed
f5ddfd0
Corrected typo in static analysis of <forElement>
eernstg
committed
f32066e
Fixed yet another pair of `\ell` -> `\ell_1`
eernstg
committed
28f889e