We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Fix link to status messages section
Updated Editor support for F* (markdown)
Add vscode instructions
vsfstar
Document interrupts, add some missing features, and describe the 'segment' query
Document completion contexts
ide: Document vfs-add queries
Add a note about `null`s
Fix indentation
Document changes to describe-repl
More syntax highlighting
Fix syntax highlighting
Add protocol docs
Moved from README.md