Zulip Chat Archive
Stream: lean4
Topic: Monadic op class design
James Gallicchio (Jan 17 2023 at 08:22):
(deleted)
James Gallicchio (Jan 17 2023 at 08:25):
(deleted)
James Gallicchio (Jan 17 2023 at 08:31):
(deleted)
Last updated: Dec 20 2023 at 11:08 UTC