Update to PureScript v0.15.0#41
Merged
thomashoneyman merged 8 commits intopurescript-contrib:mainfrom Mar 22, 2022
JordanMartinez:update-to-0.15
Merged
Update to PureScript v0.15.0#41thomashoneyman merged 8 commits intopurescript-contrib:mainfrom JordanMartinez:update-to-0.15
thomashoneyman merged 8 commits intopurescript-contrib:mainfrom
JordanMartinez:update-to-0.15
Commits
Commits on Mar 22, 2022
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
