Zulip Chat Archive
Stream: lean4
Topic: Is there a version of Monad that requires proofs?
Alex Zani (Jan 14 2025 at 23:28):
Is there a typeclass for Monads that have the monadic laws proven? (left id, right id, assoc)
Eric Wieser (Jan 14 2025 at 23:41):
Alex Zani (Jan 14 2025 at 23:48):
Thanks!
Last updated: May 02 2025 at 03:31 UTC