Skip to content

Update for PureScript 0.12#10

Merged
garyb merged 2 commits intomasterfrom
compiler/0.12
May 22, 2018
Merged

Update for PureScript 0.12#10
garyb merged 2 commits intomasterfrom
compiler/0.12

Conversation

@garyb
Copy link
Member

@garyb garyb commented May 22, 2018

No description provided.

@garyb garyb merged commit be7e07c into master May 22, 2018
@garyb garyb deleted the compiler/0.12 branch May 22, 2018 21:14
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

Comments