| Paradigms | functional programming |
|---|---|
| Typing discipline | dependent typing |
| Type | programming language, dependently typed programming language |
Sources: Wikidata (CC0) · Wikidata Q5055293
| Paradigms | functional programming |
|---|---|
| Typing discipline | dependent typing |
| Type | programming language, dependently typed programming language |
Sources: Wikidata (CC0) · Wikidata Q5055293