Skip to content

Conversation

nfgrusk
Copy link
Contributor

@nfgrusk nfgrusk commented Sep 11, 2018

😃

Copy link
Contributor

@hdgarrood hdgarrood left a comment

Choose a reason for hiding this comment

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

😱 I wonder if this function could do with a little further explanation in the docs, although I suppose it might be best to just get this error fixed for now. Thanks!

@garyb garyb merged commit 531088e into purescript:master Sep 19, 2018
@nfgrusk nfgrusk deleted the fix-error-in-documentation branch September 21, 2018 11:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

3 participants