Skip to content

add modify_ for void modify#18

Merged
garyb merged 1 commit into
purescript:masterfrom
justinwoo:modify-void
May 26, 2018
Merged

add modify_ for void modify#18
garyb merged 1 commit into
purescript:masterfrom
justinwoo:modify-void

Conversation

@justinwoo
Copy link
Copy Markdown
Contributor

common need

@garyb
Copy link
Copy Markdown
Member

garyb commented May 26, 2018

Hah

@garyb garyb merged commit e8b1754 into purescript:master May 26, 2018
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