Skip to content

Adaptations for ReScript 10 / use records with optional fields#769

Merged
MoOx merged 8 commits intomainfrom
rescript-10
Oct 12, 2022
Merged

Adaptations for ReScript 10 / use records with optional fields#769
MoOx merged 8 commits intomainfrom
rescript-10

Commits

Commits on Aug 11, 2022

Commits on Aug 28, 2022

Commits on Oct 5, 2022

Commits on Oct 11, 2022