edwinb on Idris - pure functional programming language with dependent types · Hackerly

Comment on Idris - pure functional programming language with dependent types parent

Sorry about that, it's back now...