Skip to content

Update to PureScript 0.15.0#146

Merged
megamaddu merged 5 commits intopurescript-react:mainfrom JordanMartinez:update-to-15May 14, 2022

Commits

Commits on May 11, 2022