Idris, a language that will change the way you think about programming (2015)crufter.com1 point·friendly_chap··0 commentsOpen articleSaveView on HN