[video] Idris 2: Type-Driven Development of Idrisyoutube.com2 points·spooneybarger··0 commentsOpen articleSaveView on HN