Lean Explained with TypeScript | Dark Hacker News