Make this project public when `aya-dev` is ready

aya-prover / aya-vscode

~ VSCode extension for Aya Prover

GNU General Public License v3.0

7 stars 2 forks source link

Closed imkiva closed 3 years ago

imkiva commented 3 years ago

As title

ice1000 commented 3 years ago

Why is this opened as an issue instead of an action done immediately?

imkiva commented 3 years ago

Because aya-dev does not contain any LSP related code. Users may not be able to try this project.

ice1000 commented 3 years ago

@imkiva So you intend to publish it when users could build it by themselves?

imkiva commented 3 years ago

@ice1000 Yes. and by then we should have a more detailed usage note

ice1000 commented 3 years ago

@imkiva 👍

anqurvanillapy commented 3 years ago

I suggest that the title could be "Make this project public when aya-dev is ready" or something.

imkiva commented 3 years ago

Closed