search

aya-prover / aya-vscode

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

Work with library system #17

Closed imkiva closed 2 years ago

imkiva commented 2 years ago

This is a feature request.

ice1000 commented 2 years ago

Proposal: make it work out of the box. Basically, when we open a .aya file, we find its location, try to find a aya.json file by iterating the parent directory, and load the library. In this way, the user won't have to do any in-vscode configuration

owo-bot commented 2 years ago

Is this done?

ice1000 commented 2 years ago

Is this done?

Maybe?

ice1000 commented 2 years ago

I'm gonna close this as done