corysama on Idris, a language that will change the way you think about programming (2015) · Hackerly

Comment on Idris, a language that will change the way you think about programming (2015)parent

You're gonna have to read the article to find out.