C crufter.com Idris, a language that will change the way you think about programming (2015) 118 points kenshiro_o 10 years ago 100 comments
