Skip to content

Add tests of kleisli left and right identity laws#748

Merged
stew merged 1 commit intotypelevel:masterfrom ceedubs:kleisli-identitiesDec 14, 2015

Commits

Commits on Dec 14, 2015