51:40Constraints Liberate, Liberties Constrain — Runar BjarnasonScala World44K views · 5 HN recommenders · 2016–2025
46:36Type-Driven Development in Idris — Edwin BradyScala World26K views · 1 HN recommender · 2019–2024