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