| Paradigms | purely functional programming, functional programming, total functional programming |
|---|---|
| Typing discipline | linear typing, dependent typing, static typing, uniqueness typing |
| First appeared | 2007 |
| Designed by | Edwin Brady |
| Type | proof assistant, purely functional programming language, dependently typed programming language, programming language |
| Influenced by | Epigram, Clean, Haskell, Agda, Rocq prover |
| License | BSD licenses |
| Latest version | 1.3.3 |
| File extensions | idr, lidr |
| Website | idris-lang.org |
| Written in | Haskell |
| Operating systems | cross-platform |
Sources: Wikidata (CC0) · Wikidata Q15408477