Skip to content

Update to PureScript v0.15.0#185

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

Commits

Commits on Mar 22, 2022