meraymond2/idris-vscode

Issues

• Having issue with extension

  #90 opened a year ago by MoonApache
  4

• Feature request: Jump to definition, Ctrl-Click.

  #76 opened 3 years ago by Kiiyya
  4

• Add Missing is not working

  #93 opened 2 years ago by amryounis
  0

• Activate extension on language 'idris2' too

  #91 opened 2 years ago by Release-Candidate
  6

• Error display in wrong line: always 1 line upper

  #79 opened 2 years ago by suzumiyasmith
  8

• Publish 0.0.14 to Open VSX

  #88 opened 2 years ago by meraymond2
  1

• How to configure packages?

  #80 opened 3 years ago by DejanMilicic
  10

• Module name does not match file name with Idris2

  #12 opened 4 years ago by michaelmesser
  10

• Failed to load file.

  #78 opened 2 years ago by DUVELA
  2

• What do you think of idris2-lsp-vscode?

  #75 opened 3 years ago by michaelmesser
  4

• show type not working in .lidr file

  #53 opened 2 years ago by joelberkeley
  9

• file path is wrong within workspace with multiple folders

  #70 opened 2 years ago by iacore
  4

• Is it possible to get hole type with just keyboard, not with mouse hover?

  #71 opened 2 years ago by lwerdna
  2

• Could not start Idris process

  #33 opened 4 years ago by zenntenn
  13

• "Idris 2 mode" checkbox is missing

  #77 opened 3 years ago by srid
  1

• Version 0.5.0

  #65 opened 3 years ago by meraymond2
  1

• ERR_STREAM_DESTROYED when trying to run command `idris.addClause`

  #45 opened 3 years ago by nothingnesses
  8

• Hovering over contents of a new takes about one minute

  #58 opened 3 years ago by xiaopong
  8

• Support v0.4.0

  #57 opened 3 years ago by meraymond2
  2

• Syntax highlighting sometimes fails

  #46 opened 4 years ago by Z-snails
  3

• Explain how to install this

  #44 opened 4 years ago by turion
  4

• open-vsx support

  #43 opened 4 years ago by Miezhiko
  3

• Support typeat command

  #38 opened 4 years ago by michaelmesser
  2

• Improve formatting on error message display

  #23 opened 4 years ago by michaelmesser
  13

• Support generate definition

  #35 opened 4 years ago by michaelmesser
  2

• Incorrect Syntax Highlighting with Nested Comments

  #36 opened 4 years ago by michaelmesser
  1

• Is it published to vscode marketplace?

  #34 opened 4 years ago by stereobooster
  7

• Idris 2 0.3.0 support

  #32 opened 4 years ago by meraymond2
  3

• `idris.caseSplit` and `idris.proofSearch` don't work after an `idris.addClause`

  #25 opened 4 years ago by ruippeixotog
  3

• Add support for addClause and other commands on unsaved files

  #24 opened 4 years ago by ruippeixotog
  5

• Show type of hole on hover

  #22 opened 4 years ago by michaelmesser
  4

• Notification for Idris2 load file behaviour

  #18 opened 4 years ago by meraymond2
  0

• Completions don't work with Idris2

  #17 opened 4 years ago by meraymond2
  1

• Hovering doesn’t take quotes into account

  #1 opened 4 years ago by meraymond2
  2

• `[] and `() break syntax highlighting

  #13 opened 4 years ago by michaelmesser
  3

• Failing to package vsix file using vsce

  #10 opened 4 years ago by timsueberkrueb
  2

• RFC: borrow TM grammars to layer under semantic highlighting

  #5 opened 4 years ago by dustypomerleau
  5