II.
Language overview
Reference · livelanguage:idris
Idris overview
Idris — a general-purpose pure-functional language with full dependent types, used for theorem-proving and verified programming.
Attributes
displayName
Idris
paradigms
- functional
- pure
- dependently-typed
description
Idris — a general-purpose pure-functional language with full
dependent types, used for theorem-proving and verified programming.
Outgoing edges
applies_to2
- domain:computer-science·DomainComputer Science
- domain:mathematics·DomainMathematics
Incoming edges
None.