Add VS Code extension for inline warnings #6#42

stevehuuuu wants to merge 2 commits intocounterspec:maincounterspec/isnad:mainfrom

stevehuuuu:vscode-extensionstevehuuuu/isnad:vscode-extensionCopy head branch name to clipboard