Monads in Lean

(eli.thegreenplace.net)

18 points | by mfrw 2 days ago ago