This repository was archived by the owner on Aug 4, 2023. It is now read-only.
Update to PureScript v0.15.0#14
Merged
JordanMartinez merged 10 commits intopurescript-deprecated:masterfrom Mar 22, 2022
Merged
Update to PureScript v0.15.0#14JordanMartinez merged 10 commits intopurescript-deprecated:masterfrom
JordanMartinez merged 10 commits intopurescript-deprecated:masterfrom
Commits
Commits on Mar 22, 2022
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed