Facts
- Appeared
- 1984
- Latest version
- 9.2.0 (March 27, 2026)
- Languages it influenced
- 3
- First release
- May 1, 1989
- Kind
- open-source software, proof assistant, purely functional programming language, free software, dependently typed programming language
- Paradigms
- purely functional programming
- Developer
- Institut National de Recherche en Informatique et en Automatique
- Platform
- cross-platform
- Operating system
- cross-platform
- Used for
- proof assistant, formal proof, programming language
Sources: Wikidata (CC0) · Wikidata Q1131652
Influenced · 3
| Language | Appeared | Paradigms | Type system | Languages it influenced |
|---|---|---|---|---|
| Agda | 2007 | purely functional programming | manifest typing, static typing, nominative typing, dependent typing, inference typing, strong typing | 1 |
| Idris | 2007 | total functional programming, functional programming, purely functional programming | static typing, dependent typing, linear typing, uniqueness typing | — |
| Lean | 2013 | functional programming | — | 1 |