brudgers 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)

Idris homepage: http://www.idris-lang.org/

Github: https://github.com/idris-hackers