Login
Roast topics
Find topics
Find it!
From:
overreacted.io
(Uncensored)
subscribe
A Lean Syntax Primer — overreacted
https://overreacted.io/a-lean-syntax-primer/
links
backlinks
Roast topics
Find topics
Roast it!
Programming with proofs.
