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: May 02 2025 at 03:31 UTC