We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Add explanation for `% operator
Add documented quotation and anti-quotation symbols. Still need to determine what the official definition of `% is.
^ for string concatenation
Added bool operators
Added additional uses for ; and {}
Updated F* symbols reference (markdown)
Added empty entry for @
Update description of `&`
fix for incorrect `Cons` operator
Adding tuples, missing logic symbols, and others
Created F* symbols reference (markdown)