User:MagnusY/F* (programming language)
 | This is the sandbox page where you will draft your initial Wikipedia contribution.
If you're starting a new article, you can develop it here until it's ready to go live. If you're working on improvements to an existing article, copy only one section at a time of the article to this sandbox to work on, and be sure to use an edit summary linking to the article you copied from. Do not copy over the entire article. You can find additional instructions here. Remember to save your work regularly using the "Publish page" button. (It just means 'save'; it will still be in the sandbox.) You can add bold formatting to your additions to differentiate them from existing content. |
Article Draft
Overview
Operators
F* supports common arithmetic operators such as +, -, *, and /. Additionally, F* supports relational operators like <, <=, ==, !=, >, and >=.[1]
Data types
Common primitives data types in F* are bool, int, float, char, and unit.[1]
References
- ^ a b Swamy, Nikhil; Martínez, Guido; Rastogi, Aseem (Jan 14, 2024). Proof-Oriented Programming in F* (PDF).