issues
search
aya-prover
/
aya-vscode
~ VSCode extension for Aya Prover
GNU General Public License v3.0
7
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Can't download the VSCode extension build artifacts
#26
noncom
closed
1 year ago
1
Load file on startup
#25
imkiva
closed
1 year ago
2
Highlight modules
#24
imkiva
closed
1 year ago
1
Show messages in a webview?
#23
ice1000
opened
1 year ago
0
CI is broken
#22
imkiva
closed
1 year ago
1
Upgrade frontend to work with Aya language server
#21
imkiva
closed
2 years ago
3
RELEASE: v0.0.3
#20
imkiva
closed
2 years ago
1
Lsp lib
#19
imkiva
closed
2 years ago
1
Work with new highlight data and library system
#18
imkiva
closed
2 years ago
4
Work with library system
#17
imkiva
closed
2 years ago
4
Load file on lsp startup
#16
ice1000
closed
1 year ago
1
Random rainbow highlights when editing after first-time load
#15
imkiva
opened
2 years ago
2
Renew position to fix invalid argument error
#14
imkiva
closed
2 years ago
1
Nightly build and auto release
#13
imkiva
closed
2 years ago
6
Can't compute-type and compute-nf
#12
by-cloud
closed
2 years ago
11
Upgrade dependencies
#11
ice1000
closed
2 years ago
12
BORS: welcome to aya
#10
imkiva
closed
2 years ago
39
SERVER: load from fatjar
#9
by-cloud
closed
2 years ago
6
Can’t go to definition when the cursor is at the right side of a term
#8
by-cloud
opened
2 years ago
4
MISC: use pnpm
#7
dannypsnl
closed
2 years ago
20
How to add new commands?
#6
ice1000
closed
3 years ago
12
Choose a LICENSE
#5
imkiva
closed
3 years ago
2
The server is not killed/terminated after VSCode exit
#4
ice1000
closed
3 years ago
2
Lost highlight after `C-C C-l`
#3
imkiva
closed
3 years ago
7
Use standalone executables from jlink
#2
imkiva
closed
3 years ago
0
Make this project public when `aya-dev` is ready
#1
imkiva
closed
3 years ago
7