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