F* (programming language): Difference between revisions

Content deleted Content added
m Data types: Removed plural "s".
m Consistency-edit: In the infobox, "The official _Fstar_ logo" -> "The official _F*_ logo".
Line 5:
| logo = Fstar-official-logo-2015.png
| logo size = 128px
| logo caption = The official FstarF* logo
| paradigm = [[Multi-paradigm programming language|Multi-paradigm]]: [[Functional programming|functional]], [[Imperative programming|imperative]]
| family = [[ML (programming language)|ML]]: [[Caml]]: [[OCaml]]