F* (Q5423569)
Hopp til navigering
Hopp til søk
programmeringsspråk norsk nynorsk
| Språk | Etikett | Beskrivelse | Også kjent som |
|---|---|---|---|
| norsk bokmål | F* |
Ingen beskrivelse definert |
|
| engelsk | F* |
functional programming language inspired by ML and aimed at program verification |
|
Utsagn
1 referanse
2. mar. 2022
0.9.0
28. aug. 2015
1 referanse
4. okt. 2022
Release 0.9.0 (engelsk)
28. aug. 2015
0.9.1
13. okt. 2015
1 referanse
4. okt. 2022
Release 0.9.1 (engelsk)
13. okt. 2015
0.9.1.1
13. okt. 2015
1 referanse
4. okt. 2022
Release 0.9.1.1 (engelsk)
13. okt. 2015
0.9.4.0
2. feb. 2017
1 referanse
4. okt. 2022
Release 0.9.4.0 (engelsk)
2. feb. 2017
0.9.5.0
23. aug. 2017
1 referanse
4. okt. 2022
Release 0.9.5.0 (engelsk)
23. aug. 2017
0.9.6.0
17. mai 2018
1 referanse
4. okt. 2022
Release 0.9.6.0 (engelsk)
17. mai 2018
Identifikatorer
Chocolatey Community package ID engelsk
Nettstedlenker
Wikipedia(8 oppføringer)
- enwiki F* (programming language)
- jawiki F* (プログラミング言語)
- kowiki F*
- nowiki F*
- ruwiki F*
- uzwiki F* (dasturlash tili)
- zh_yuewiki F*
- zhwiki F*