Hacker News new | ask | show | jobs
by nequo 1242 days ago
What specifically is crazy about Lean's syntax?