Update to PureScript v0.15.0 - Githubissues

purescript-contrib / purescript-these

Data type isomorphic to α ∨ β ∨ (α ∧ β)

MIT License

14 stars 11 forks source link

Update to PureScript v0.15.0 #41

Closed JordanMartinez closed 2 years ago

JordanMartinez commented 2 years ago

Description of the change

Backlinking to purescript/purescript#4244

Updates project to compile on v0.15.0 PureScript.

Checklist:

[x] Added the change to the changelog's "Unreleased" section with a reference to this PR (e.g. "- Made a change (#0000)")
[x] 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)

JordanMartinez commented 2 years ago

:ping_pong: @thomashoneyman