| Paradigms | purely functional programming |
|---|---|
| Typing discipline | static typing, dependent typing, inference typing, strong typing, manifest typing, nominative typing |
| First appeared | 2007 |
| Developer | Chalmers University of Technology |
| Type | proof assistant, purely functional programming language, free software, functional programming language, dependently typed programming language, programming language |
| Influenced by | Rocq prover, Haskell, Epigram |
| License | BSD licenses |
| Latest version | 2.8.0.2 |
| File extensions | agda, lagda |
| Website | wiki.portal.chalmers.se |
| Written in | Haskell |
| Operating systems | Microsoft Windows, Unix-like operating system |
Sources: Wikidata (CC0) · Wikidata Q20479
Programming languages · 1
| Language | Paradigms | First appeared | Developer |
|---|---|---|---|
| Idris | purely functional programming, functional programming, total functional programming | 2007 | — |