search

aya-prover / aya-vscode

~ VSCode extension for Aya Prover
GNU General Public License v3.0
7 stars 2 forks source link

Load file on lsp startup #16

Closed ice1000 closed 1 year ago

ice1000 commented 2 years ago

This is a feature request

imkiva commented 1 year ago

Need to do something after https://github.com/aya-prover/aya-vscode/blob/f956205af85d0aa5732ce88b4cc530b1f3fe5c69/src/server-daemon.ts#L41