Revision as of 16:30, 24 April 2024 edit Jerryobject (talk \| contribs) Extended confirmed users 16,305 edits →External links: WP:CATEGORYs: update, adds. ← Previous edit		Revision as of 07:07, 25 April 2024 edit undo Jerryobject (talk \| contribs) Extended confirmed users 16,305 edits →External links: WP:CATEGORY add. Next edit →
Line 113: [[Category:Microsoft programming languages]] [[Category:Microsoft Research]] [[Category:Microsoft free software]] [[Category:Dependently typed languages]] [[Category:Automated theorem proving]]

F* (programming language): Difference between revisions