User:MagnusY/F* (programming language)

Operators
F* supports common arithmetic operators such as ,  ,  , and. Additionally, F* supports relational operators like,  ,  ,  ,  , and.

Data types
Common primitives data types in F* are,  ,  ,  , and.

Sources:

 * Swamy, Nikhil; Martínez, Guido; Rastogi, Aseem (2024). Proof-Orented Programming in F*.