Idris, a language that will change the way you think about programmingcrufter.com4 points·friendly_chap··0 commentsOpen articleSaveView on HN