Clarifications to dictionary semantics#859

Merged

domenic merged 4 commits intomasterfrom clarify-dictionaries

Mar 25, 2020

+63-54

Commits on Mar 18, 2020

Clarifications to dictionary semantics
domenic
committed

Commits on Mar 25, 2020

suggested -> encouraged

domenic
and
annevk
authored
Respond to review comments
domenic
committed
Fix typo

domenic
and
TimothyGu
authored