Skip to content

Fix typo and ChoiceOf initializer in DSL pitch.#211

Merged
rxwei merged 1 commit intoswiftlang:mainfrom
rxwei:dsl-pitch-fix-typo
Mar 17, 2022
Merged

Fix typo and `ChoiceOf` initializer in DSL pitch.#211
rxwei merged 1 commit intoswiftlang:mainfrom
rxwei:dsl-pitch-fix-typo

Commits

Commits on Mar 17, 2022