Skip to content

Update for PureScript 0.15#37

Merged
nsaunders merged 4 commits intonsaunders:masterfrom
thomashoneyman:trh/0.15
Aug 8, 2022
Merged

Update for PureScript 0.15#37
nsaunders merged 4 commits intonsaunders:masterfrom
thomashoneyman:trh/0.15

Commits

Commits on Aug 8, 2022