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
| paradigm = [[Multi-paradigm programming language|Multi-paradigm]]: [[Functional programming|functional]], [[Imperative programming|imperative]]
| family = [[ML (programming language)|ML]]: [[Caml]]: [[OCaml]]
|