Upgrade frontend to work with Aya language server

aya-prover / aya-vscode

~ VSCode extension for Aya Prover

GNU General Public License v3.0

7 stars 2 forks source link

Closed imkiva closed 2 years ago

imkiva commented 2 years ago

Changes:

Add middleware to workaround https://github.com/microsoft/vscode-languageserver-node/issues/495
Provide light and dark colors for semantic highlight
Upgrade some dependencies

ice1000 commented 2 years ago

I see, nice!

ice1000 commented 2 years ago

bors r+

bors[bot] commented 2 years ago

Build succeeded: