Update to PureScript v0.15.0#86
Merged
thomashoneyman merged 8 commits intopurescript-contrib:mainfrom Mar 22, 2022
JordanMartinez:update-to-0.15
Merged
Update to PureScript v0.15.0#86thomashoneyman 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
