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

comparison syntax to complete #1101 #1170

Merged
merged 1 commit into from
Jul 1, 2016

Conversation

benhutchison
Copy link
Member

No description provided.

@codecov-io
Copy link

Current coverage is 88.80%

Merging #1170 into master will not change coverage

@@             master      #1170   diff @@
==========================================
  Files           232        232          
  Lines          3073       3073          
  Methods        3021       3021          
  Messages          0          0          
  Branches         49         49          
==========================================
  Hits           2729       2729          
  Misses          344        344          
  Partials          0          0          

Sunburst

Powered by Codecov. Last updated by ed21654...53e3f45

@kailuowang
Copy link
Contributor

👍 many thanks!

@ceedubs
Copy link
Contributor

ceedubs commented Jul 1, 2016

👍 thanks!

@ceedubs ceedubs merged commit 5981883 into typelevel:master Jul 1, 2016
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.

4 participants