meraymond2 idris-vscode issues

meraymond2 / idris-vscode

Idris front-end for VS Code

MIT License

59 stars 10 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

open-vsx support

#43 Miezhiko closed 3 years ago
3
Implement v2 warnings for new cmds

#42 meraymond2 closed 3 years ago
0
V0.0.8

#41 meraymond2 closed 3 years ago
0
Remove superfluous location descs

#40 meraymond2 closed 3 years ago
0
Implement generateDef and typeAt

#39 meraymond2 closed 3 years ago
0
Support typeat command

#38 michaelmesser closed 3 years ago
2
Handle nested block comments

#37 meraymond2 closed 3 years ago
0
Incorrect Syntax Highlighting with Nested Comments

#36 michaelmesser closed 3 years ago
1
Support generate definition

#35 michaelmesser closed 3 years ago
2
Is it published to vscode marketplace?

#34 stereobooster closed 3 years ago
7
Could not start Idris process

#33 zenntenn opened 3 years ago
13
Idris 2 0.3.0 support

#32 meraymond2 closed 3 years ago
3
Bump version

#31 meraymond2 closed 3 years ago
0
Pass 0 console width explicitly to idris proc

#30 meraymond2 closed 3 years ago
3
Bump to 0.1.4

#29 meraymond2 closed 3 years ago
0
Save before cmd

#28 meraymond2 closed 3 years ago
0
Only prompt reload on relevant config changes

#27 meraymond2 closed 3 years ago
0
Show types of metavariables on hover

#26 meraymond2 closed 3 years ago
0
`idris.caseSplit` and `idris.proofSearch` don't work after an `idris.addClause`

#25 ruippeixotog closed 3 years ago
3
Add support for addClause and other commands on unsaved files

#24 ruippeixotog closed 3 years ago
5
Improve formatting on error message display

#23 michaelmesser closed 3 years ago
13
Show type of hole on hover

#22 michaelmesser closed 3 years ago
4
Bump versions

#21 meraymond2 closed 3 years ago
0
Diagnostic refix

#20 meraymond2 closed 3 years ago
0
Load warning

#19 meraymond2 closed 3 years ago
0
Notification for Idris2 load file behaviour

#18 meraymond2 closed 3 years ago
0
Completions don't work with Idris2

#17 meraymond2 closed 3 years ago
1
V0.0.5

#16 meraymond2 closed 3 years ago
0
Idris2 config

#15 meraymond2 closed 3 years ago
1
Quasi highlighting fix

#14 meraymond2 closed 3 years ago
0
`[] and `() break syntax highlighting

#13 michaelmesser closed 3 years ago
3
Module name does not match file name with Idris2

#12 michaelmesser closed 3 years ago
10
Hover fix

#11 meraymond2 closed 4 years ago
1
Failing to package vsix file using vsce

#10 timsueberkrueb closed 4 years ago
2
Bump version

#9 meraymond2 closed 4 years ago
0
Update dev-dep-versions

#8 meraymond2 closed 4 years ago
0
Dont send type query unless identifier under cursor

#7 meraymond2 closed 4 years ago
0
Better highlighting

#6 meraymond2 closed 4 years ago
0
RFC: borrow TM grammars to layer under semantic highlighting

#5 dustypomerleau closed 4 years ago
5
Bump lodash from 4.17.15 to 4.17.19

#4 dependabot[bot] closed 4 years ago
1
Bump version

#3 meraymond2 closed 4 years ago
0
Client version bump

#2 meraymond2 closed 4 years ago
0
Hovering doesn’t take quotes into account

#1 meraymond2 closed 3 years ago
2