I idris-lang.org Idris: A language for type-driven development 275 points peter_d_sherman 3 years ago 185 comments
