feat(extension): implement extension activation, commands, status bar, and diagnostics - #31

feat(extension): implement extension activation, commands, status bar, and diagnostics#31

waleedcodes merged 3 commits into

workingwaleedcodes/proofcode:workingfrom

pr-31-src-extension-indexwaleedcodes/proofcode:pr-31-src-extension-indexCopy head branch name to clipboard