Dependently typed programming
Link from a Wikipage to another Wikipage
Dependently typed programming
Wikipage page ID
30,726,088
Wikipage revision ID
451,672,519
wikiPageUsesTemplate
type
label
Dependently typed programming
@en
prefLabel
Dependently typed programming
@en