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

@garyb garyb left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

Big 👍 from me.

@paf31

paf31 commented Jun 23, 2017

Copy link
Copy Markdown
Contributor

👍 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