Revision as of 17:14, 2 May 2022 edit 71.199.114.135 (talk) Update link which had bit rotted away ← Previous edit		Revision as of 23:59, 28 June 2022 edit undo Top5a (talk \| contribs) Extended confirmed users, Pending changes reviewers, Rollbackers 976 edits m Adding local short description: "Functional programming language inspired by ML and aimed at program verification", overriding Wikidata description "functional programming language inspired by ML and aimed at program verification" Tag: Shortdesc helper Next edit →
Line 1: {{Short description\|Functional programming language inspired by ML and aimed at program verification}} {{distinguish\|F (programming language)}} {{Infobox programming language

F* (programming language): Difference between revisions