Monads in Lean
Posted 3 hours ago by
mfrw
3
points
https://eli.thegreenplace.net/2026/monads-in-lean/
0
comments