Skip to content

Update to PureScript v0.15.0#40

Merged
thomashoneyman merged 7 commits into
purescript-contrib:mainfrom
working-group-purescript-es:es-modules-libraries
Mar 22, 2022
Merged

Update to PureScript v0.15.0#40
thomashoneyman merged 7 commits into
purescript-contrib:mainfrom
working-group-purescript-es:es-modules-libraries