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.

Sign up for GitHub

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

Jump to bottom

Add Reducible laws #893

Merged
merged 1 commit into from
Feb 25, 2016
Merged

Add Reducible laws #893

merged 1 commit into from
Feb 25, 2016

Conversation

adelbertc
Copy link
Contributor

No description provided.

@codecov-io
Copy link

Current coverage is 89.46%

Merging #893 into master will increase coverage by +0.41% as of 5031851

@@            master    #893   diff @@
======================================
  Files          174     176     +2
  Stmts         2384    2393     +9
  Branches        76      76       
  Methods          0       0       
======================================
+ Hit           2123    2141    +18
  Partial          0       0       
+ Missed         261     252     -9

Review entire Coverage Diff as of 5031851

Powered by Codecov. Updated on successful CI builds.

@aryairani
Copy link
Contributor

Thanks

@adelbertc adelbertc mentioned this pull request Feb 23, 2016
Closed
@stew
Copy link
Contributor

stew commented Feb 24, 2016

👍

1 similar comment
@non
Copy link
Contributor

non commented Feb 25, 2016

👍

non added a commit that referenced this pull request Feb 25, 2016
@non
Merge pull request #893 from adelbertc/reducible-laws
c0c299f 
Add Reducible laws
@non non merged commit c0c299f into typelevel:master Feb 25, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
5 participants
@adelbertc @codecov-io @aryairani @stew @non