F* (programming language): Difference between revisions

Content deleted Content added
Template:Infobox programming language, WP:REFerence WP:CITations: repeats > WP:NAMEDREFS, parameters: respaces, cut needless whitespace characters (spaces, carriage returns) to standardize, aid work via small screens, underscores > spaces, adds, fills, reorders, update-standardizes, conform to master templates. WP:LINKs: adds, update-standardizes, WP:REPEATLINK in same sentence cut. MOS:FIRSTABBReviations clarify, define before WP:ABBRs in parentheses.
Line 109:
{{DEFAULTSORT:F star (programming language)}}
[[Category:Functional languages]]
[[Category:MLOCaml programming language family]]
[[Category:.NET programming languages]]
[[Category:Microsoft programming languages]]
Line 118:
[[Category:Proof assistants]]
[[Category:2011 software]]
[[Category:Cross-platform free software]]
[[Category:Software using the Apache license]]