ready 4 popl frfr

with whitespace fixes

ready 4 popl

0.1.1

removed SVG button

mostly readme changes; releasing because of the removed svg button.

Happy robot!

surprised robot to happy robot transition
some spacing fixes for stacks and composes
parser fixes: colorswaps
minor text wrapping changes
button to export to PNG

parser ambiguous response fixes

• parser returns the first result in all cases where multiple results are returned. usually we either get multiple results only when the same result is returned via multiple parser paths; or if arbitrary variables are parsed ambiguously.
• fixes for when a diagram is requested after another diagram to prevent rejected promises
• some refactoring of constants
• some changes in sizing text and function arguments

lsp args fix

Merge pull request #9 from inQWIRE/bhakti-branch

version bump

LSP final changes; sizing and deactivation support

Changed argument extracted from information passed by lsp; coercion to string.
Changed rendering settings to be in new tab instead of active tab.
when new diagram is rendered, discards old diagram so as to not clutter the tab space.
when same request is made, ignores it (so continuously served lsp information is not re-rendered)
added sizing up, down, and deactivate commands.
fixed parser bug where nstack could not be embedded in stack/compose?

Extracting information from correct field in coq-lsp

PR to lsp incoming -- need to publish for cross-extension local testing.

Basic stable version

command using input box and command for lsp debugging.