Skip to content

Make Storable vectors nominally roled, and add unsafeCoerceVector functions - #235

Merged
cartazio merged 2 commits into
masterfrom
nominal
Jan 7, 2020
Merged

Make Storable vectors nominally roled, and add unsafeCoerceVector functions#235
cartazio merged 2 commits into
masterfrom
nominal

Commits

Commits on Dec 23, 2018

Commits on Dec 30, 2018