| Paradigms | functional programming |
|---|---|
| Typing discipline | static typing, dependent typing, strong typing |
| First appeared | 2004 |
| Designed by | Conor McBride |
| Type | dependently typed programming language, programming language |
| First release | 2004 |
| Website | e-pig.org |
Sources: Wikidata (CC0) · Wikidata Q5382927
Programming languages · 2
| Language | Paradigms | First appeared | Developer |
|---|---|---|---|
| Agda | purely functional programming | 2007 | Chalmers University of Technology |
| Idris | purely functional programming, functional programming, total functional programming | 2007 | — |