Skip to main content
CareerApp

Skill

Idris

Programming Languages

Idris is a general-purpose functional programming language with full dependent types, allowing types to depend on values so many program properties can be verified at compile time. Created by Edwin Brady, it's used in research and by developers exploring type-driven development, formal verification, and provably correct software. It resembles Haskell syntactically but pushes further into proof-like guarantees embedded in the type system.

Open roles requiring Idris (0)

None of the roles we’ve read name this skill yet. Browse all open roles.

Related skills

Curated neighbors in the taxonomy, whether or not employers ask for them together.

Turn on analytics and we load Google Analytics: Google gets the pages you open and what you do here — searches, jobs you view, jobs you apply to — and sets its own cookies. Leave it off and the only cookies we set are your login, your theme, and this answer. Accept All also records a yes to advertising, which nothing uses yet. Privacy Policy.