description
Programmiersprache
@de
functional programming language inspired by ML and aimed at program verification
@en
język programowania
@pl
langage de programmation
@fr
lenguaje de programación
@es
limbaj de programare
@ro
linguagem de programação
@pt
linguaggio di programmazione
@it
llenguatge de programació
@ca
ohjelmointikieli
@fi
name
F*
@ca
F*
@da
F*
@de
F*
@en
F*
@es
F*
@fi
F*
@fr
F*
@it
F*
@ja
F*
@nb
type
label
F*
@ca
F*
@da
F*
@de
F*
@en
F*
@es
F*
@fi
F*
@fr
F*
@it
F*
@ja
F*
@nb
prefLabel
F*
@ca
F*
@da
F*
@de
F*
@en
F*
@es
F*
@fi
F*
@fr
F*
@it
F*
@ja
F*
@nb