🚀 Join our exclusive newsletter for Recruiters and Sourcers

Launching on Oct 20th, 2023. Become tech-savvy – sign up today!

Idris

A functional programming language with dependent types focused on general-purpose programming. It has indentation significant and extensible syntax. It also offers interactive editing via the compiler, which lets you code using types, and type-driven overloading resolution.

Learn more

First released 2013
Developed by Edwin Brady
Latest stable version 2

Interesting facts

Its features were influenced by Haskell and ML

20

Development by Synergize.digital

Sign up for updates
straight to your inbox