Skip to content

Conversation

aspiwack
Copy link
Member

No description provided.

@aspiwack aspiwack mentioned this pull request Sep 18, 2020
-- profunctorial properties still hold in this weaker setting.
-- However stronger requirements on `f` are needed for profunctorial
-- strength, so we have fewer instances.
--
Copy link
Contributor

Choose a reason for hiding this comment

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

Thank you 😃

@aspiwack aspiwack merged commit 06a0f73 into master Sep 21, 2020
@aspiwack aspiwack deleted the clean-up-kleisli branch September 21, 2020 06:50
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.

2 participants