F* (programming language): Difference between revisions

Content deleted Content added
m Consistency-edit: In the infobox, "The official _Fstar_ logo" -> "The official _F*_ logo".
Agilot (talk | contribs)
Added in the list of statically typed programming languages (as described in 'Typing discipline').
Line 125:
 
{{Prog-lang-stub}}
[[Category:Statically typed programming languages]]