8 points, 0 comments on Hacker News

Source: [Hacker News](https://eli.thegreenplace.net/2026/monads-in-lean/)

Sponsored