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