aya-prover/aya-vscode

Issues

• Can't download the VSCode extension build artifacts

  #26 opened a year ago by noncom
  1

• Load file on lsp startup

  #16 opened 2 years ago by ice1000
  1

• Show messages in a webview?

  #23 opened 2 years ago by ice1000
  0

• CI is broken

  #22 opened 2 years ago by imkiva
  1

• Work with library system

  #17 opened 3 years ago by imkiva
  4

• Random rainbow highlights when editing after first-time load

  #15 opened 3 years ago by imkiva
  2

• Can't compute-type and compute-nf

  #12 opened 3 years ago by by-cloud
  11

• Can’t go to definition when the cursor is at the right side of a term

  #8 opened 3 years ago by by-cloud
  4

• How to add new commands?

  #6 opened 3 years ago by ice1000
  12

• Choose a LICENSE

  #5 opened 4 years ago by imkiva
  2

• The server is not killed/terminated after VSCode exit

  #4 opened 4 years ago by ice1000
  2

• Lost highlight after `C-C C-l`

  #3 opened 4 years ago by imkiva
  7

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

  #1 opened 4 years ago by imkiva
  7