Skip to content

Conversation

@JordanMartinez
Copy link
Contributor

No description provided.

@garyb garyb changed the base branch from master to ps-0.14 January 30, 2020 23:28
@garyb
Copy link
Member

garyb commented Feb 1, 2020

Thanks! I'll merge this now so we can do CI things with these branches.

/cc @natefaubion

@garyb garyb merged commit c932361 into purescript:ps-0.14 Feb 1, 2020
@JordanMartinez
Copy link
Contributor Author

Just FYI. This PR didn't update some of the syntax to remove some of the compiler warnings. (e.g. # Type -> Row Type). Sorry about that!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants