logoalt Hacker News

Monads in Lean

10 points • by mfrw • today at 6:31 AM • 0 comments • view on HN

Comments