We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Updated Home (markdown)
Add link to sugar for classical logic
Added link to: Running F* Programs Interactively with the OCaml Interactive Toplevel
Document editing F*'s compiler sources in Emacs
Symbols reference is much better suited to being in the Beginner's guide section.
Fix typo in link to meeting minutes
Add link to new symbols reference page
Typo s/Tactic/Tactics/
Add meeting minutes from 2 last tactic meetings