Ixiaus 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

This as well: http://ivorylang.org/ivory-introduction.html