Revision as of 21:04, 7 August 2019 edit François Robere (talk \| contribs) Extended confirmed users 18,884 edits No edit summary ← Previous edit		Revision as of 01:08, 28 August 2019 edit undo Mainframe98 (talk \| contribs) Extended confirmed users 991 edits m Remove deprecated inage syntax; I've not defined an image size, to allow user preferences and template defaults to handle that Next edit →
Line 2: {{Infobox programming language \| name = F* \| logo = [[File:Fstar-official-logo-2015.png~~\|120px]]~~ \| caption = \| paradigm = [[multi-paradigm programming language\|Multi-paradigm]]: [[functional programming\|functional]], [[imperative programming\|imperative]], [[formal verification]]

F* (programming language): Difference between revisions