Skip to content
This repository has been archived by the owner on Jun 10, 2022. It is now read-only.

[minor] Make PrimitiveDefinition a discriminated union#463

Merged
eanders-ms merged 1 commit intoredfrom eanders/primitiveDefinitionOct 31, 2019

Commits

Commits on Oct 31, 2019