Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add extra instances for Tagged #78

Merged
merged 2 commits into from
Nov 7, 2017
Merged

Add extra instances for Tagged #78

merged 2 commits into from
Nov 7, 2017

Conversation

garyb
Copy link
Member

@garyb garyb commented Nov 7, 2017

There is #76, but I guess we'll do that when breaking libraries next, so in the mean time...

@garyb garyb changed the title Add Eq and Ord for Tagged Add extra instances for Tagged Nov 7, 2017
@paf31
Copy link
Contributor

paf31 commented Nov 7, 2017

👍 LGTM, thanks!

@garyb garyb merged commit d093f3b into master Nov 7, 2017
@garyb garyb deleted the tagged-eq-ord branch November 7, 2017 16:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

2 participants