Submitted 2 hours ago by rssbot@lemmy.bestiver.se [bot] to lobsters@lemmy.bestiver.se
https://eli.thegreenplace.net/2026/monads-in-lean/
Comments