discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Hacker News
Idris - pure functional programming language with dependent types
http://idris-lang.org/
15 comments
19/1/2012
Reddit
Idris is a general purpose pure functional programming language with dependent types
https://www.idris-lang.org/
10 comments
12/7/2018
programming