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

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

Very nice! I really look forward to using something like that.