- Has broader
- Category:Functional programming
- Category:Programming language theory
- Label
- enDependently typed programming
- Preferred label
- enDependently typed programming
- WasDerivedFrom
- Category:Dependently typed programming?oldid=451672519&ns=14
- Wikipage page ID
- 30726088
- Wikipage revision ID
- 451672519
- WikiPageUsesTemplate
- Template:Cat main