Hacker News new | ask | show | jobs
by ninetyninenine 472 days ago
A wonder no one uses this for programming.
1 comments
nicf 472 days ago
Uses what?
link
ninetyninenine 472 days ago
Proofs
link