Edwin Brady – Idris 2 – Type-Driven Development of Idrisyoutube.com5 points·tpush··0 commentsOpen articleSaveView on HN