Kategori:Programmeringsspråk skapade 2013
Sidor i kategorin "Programmeringsspråk skapade 2013"
F
F* (programming language)
L
Lean (proof assistant)
P
PureScript
W
Wyvern (programming language)