Idris 2: Type Driven Development of Idrisyoutube.com4 points·opnitro··0 commentsOpen articleSaveView on HN