We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Tried to fix obsolete command, but more work seems needed to update this article
Spell "shallowly" correctly
Updated Executing F* code (markdown)
Reverting, doesn't seem to help