Adapt some pages to ReScript 11 including records and variants#730

Merged

zth merged 3 commits intorescript-lang:rescript-11from

fhammerschmidt:rescript-11

Oct 23, 2023

Commits on Oct 20, 2023

Adapt some pages to ReScript 11 including records and variants
fhammerschmidt
committed

Commits on Oct 22, 2023