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