F* English (Q5423569)
functional programming language inspired by ML and aimed at program verification English
| Language | Label | Description | Also known as |
|---|---|---|---|
| British English | No label defined |
No description defined |
Statements
Q56223375 (Deleted Item)
0 references
programming paradigm English
Q193076 (Deleted Item)
0 references
Q275596 (Deleted Item)
0 references
Q586459 (Deleted Item)
Q991202 (Deleted Item)
Q56232424 (Deleted Item)
0 references
Q56273805 (Deleted Item)
0 references
Q50423863 (Deleted Item)
0 references
FStarLang
0 references
Q1144725 (Deleted Item)
1 reference
2 March 2022
Q1146208 (Deleted Item)
0 references
official blog English
Q648619 (Deleted Item)
0 references
0.9.0
28 August 2015
1 reference
4 October 2022
Release 0.9.0 (English)
28 August 2015
0.9.1
13 October 2015
1 reference
4 October 2022
Release 0.9.1 (English)
13 October 2015
0.9.1.1
13 October 2015
1 reference
4 October 2022
Release 0.9.1.1 (English)
13 October 2015
0.9.4.0
2 February 2017
1 reference
4 October 2022
Release 0.9.4.0 (English)
2 February 2017
0.9.5.0
23 August 2017
1 reference
4 October 2022
Release 0.9.5.0 (English)
23 August 2017
0.9.6.0
17 Mayıs 2018
1 reference
4 October 2022
Release 0.9.6.0 (English)
17 Mayıs 2018