Skip to content

Adds note and hush#32

Merged
garyb merged 1 commit into
purescript:masterfrom
kritzcreek:note-and-hush
Jun 23, 2017
Merged

Adds note and hush#32
garyb merged 1 commit into
purescript:masterfrom
kritzcreek:note-and-hush

Conversation

@kritzcreek
Copy link
Copy Markdown
Member

I find myself redefining these over and over, so I thought it might be nice to add them here.

@kritzcreek kritzcreek requested a review from garyb June 23, 2017 09:28
Copy link
Copy Markdown
Member

@garyb garyb left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Big 👍 from me.

@paf31
Copy link
Copy Markdown
Contributor

paf31 commented Jun 23, 2017

👍 Looks great!

@garyb garyb merged commit ceb6a14 into purescript:master Jun 23, 2017
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.

3 participants