A Lean Syntax Primer | Hacker News Reader