Why Dependently Typed Programming Will (One Day) Rock Your World 🕑 2020-03-22T17:48:23+00:00; via news.ycombinator.com; try the Wayback Machine | edit