Skip to content
New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom

Add proof of inconsistency for a Validated Monad #4255

Merged
merged 5 commits into from
Jul 1, 2022
Merged

Add proof of inconsistency for a Validated Monad #4255

merged 5 commits into from
Jul 1, 2022

Conversation

TonioGela
Copy link
Member

Closes #4251.

@armanbilge armanbilge changed the title Add inconsistency proof for a Validated Monad in Documentation Add proof of inconsistency for a Validated Monad Jun 25, 2022
armanbilge
armanbilge reviewed Jun 25, 2022
View reviewed changes
Copy link
Member

@armanbilge armanbilge left a comment

Choose a reason for hiding this comment

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

This looks really good! Nice work. Just some bikeshedding and nitpicking :)

armanbilge
armanbilge previously approved these changes Jun 26, 2022
View reviewed changes
Copy link
Member

@armanbilge armanbilge left a comment

Choose a reason for hiding this comment

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

Thanks, great addition!

@armanbilge armanbilge merged commit cf8a87a into typelevel:main Jul 1, 2022
@TonioGela TonioGela deleted the lawful_doc_update_4251 branch July 2, 2022 07:20
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers

@armanbilge armanbilge armanbilge approved these changes

Assignees
No one assigned
Labels
documentation
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Use laws to explain why there is no e.g. Monad[Validated]
2 participants
@TonioGela @armanbilge