Update to purs 0.15.10 - Githubissues

purescript / trypurescript

PureScript in the browser

https://try.purescript.org

BSD 3-Clause "New" or "Revised" License

119 stars 50 forks source link

Update to purs 0.15.10 #310

Closed JordanMartinez closed 1 year ago

JordanMartinez commented 1 year ago

Description of the change

Updates TPS to use purs 0.15.10, so people can play with VTAs.

Checklist:

[x] Added the change to the changelog's "Unreleased" section with a reference to this PR (e.g. "- Made a change (#0 by @)")
[ ] Linked any existing issues or proposals that this pull request should close
[ ] Updated or added relevant documentation
[ ] Added a test for the contribution (if applicable)