swr1bm86/vscode-idris

Issues

• After type checking error ("didn't load"), hovering messages becomes confusing

  #133 opened 4 years ago
  0

• Support idris2

  #132 opened 4 years ago
  4

• Cannot search or install this plugin anymore through vscodium marketplace

  #130 opened 4 years ago
  1

• suggestions appear before quickSuggestionDelay

  #129 opened 5 years ago
  0

• Cannot run extension on Windows

  #128 opened 5 years ago
  7

• Output channel is focused

  #124 opened 6 years ago
  2

• make-lemma seem don't work

  #123 opened 7 years ago
  0

• How to use packages?

  #122 opened 7 years ago
  0

• line number and column snippet is not shown when evaluating idris code

  #121 opened 7 years ago
  0

• Default Keyboard Shortcuts

  #120 opened 7 years ago
  3

• I think my settings are wrong. - 'idris.typecheck'

  #119 opened 7 years ago
  2

• `idris.typecheck` command stops working

  #118 opened 7 years ago
  8

• New lines are incorrect for some multi-line hints

  #117 opened 7 years ago
  0

• "Generate initial pattern match clause" doesn't respect LIDR syntax

  #116 opened 7 years ago
  0

• "Generate initial pattern match clause" doesn't respect multiline signatures

  #115 opened 7 years ago
  0

• v0.9.8 broken on Windows

  #113 opened 8 years ago
  18

• More safe way to get document object

  #112 opened 8 years ago
  0

• Speed up checking

  #111 opened 8 years ago
  10

• Ignore screenshots when release a new version

  #110 opened 8 years ago
  0

• Is it really necessary to pop up the output panel when typechecking a file?

  #109 opened 8 years ago
  18

• Add document highlighter for more precise symbol selection highlighting

  #107 opened 8 years ago
  0

• Create status bar to show type checking and totality checking status

  #106 opened 8 years ago
  0

• Display type signature using code lens

  #105 opened 8 years ago
  1

• Latex completion for ide-mode completion mode

  #104 opened 8 years ago
  0

• Completion for items in whole project with fuzzy mode

  #102 opened 8 years ago
  0

• Completion from ide-mode not working after typechecking failed

  #101 opened 8 years ago
  0

• Starting repl from file on windows does not work ( all path separator are removed from the path)

  #100 opened 8 years ago
  7

• Add restart command

  #97 opened 8 years ago
  1

• Checkout functionality for single file

  #94 opened 8 years ago
  0

• Checkout functionality on Windows

  #93 opened 8 years ago
  0

• Load empty string when start REPL in a ipkg project

  #92 opened 8 years ago
  0

• Add contribution instructions for Windows developers

  #89 opened 8 years ago
  0

• Search command

  #88 opened 8 years ago
  0

• Integration with idringen

  #87 opened 8 years ago
  0

• Type checking failing will lead memory leak

  #86 opened 8 years ago
  0

• Idris process stops on file save, disabling all commands

  #84 opened 8 years ago
  0

• Commands not working in latest version (on Windows)

  #83 opened 8 years ago
  5

• Auto Completion for keywords

  #82 opened 8 years ago
  0

• Auto Completion module names in import clause

  #81 opened 8 years ago
  0

• Extension doesn't work as expected when it is open on ipkg and lidr file after initialization

  #80 opened 8 years ago
  0

• Literate programming improvement

  #79 opened 8 years ago
  0

• Icon & Website

  #78 opened 8 years ago
  0

• Support formatter

  #77 opened 8 years ago
  0

• Support `add proof clause` command

  #76 opened 8 years ago
  0

• Fully support for literate idris

  #75 opened 8 years ago
  0

• Go to module file from import clause

  #72 opened 8 years ago
  0

• Get definition for more module syntax

  #71 opened 8 years ago
  0

• Better performance for search symbol

  #70 opened 8 years ago
  0

• Remove keybindings completely

  #69 opened 8 years ago
  0

• Go to module from ipkg file

  #68 opened 8 years ago
  0