derekelkins agda-vim issues

derekelkins / agda-vim

Agda interaction in vim

BSD 2-Clause "Simplified" License

130 stars 46 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Commands not loaded (neovim)

#61 danjenson opened 1 year ago
4
Add highlighting for universe level omega

#60 isti115 closed 2 years ago
0
Highlight `Prop`

#59 favonia closed 2 years ago
0
Refer to autoload/agda.vim for utf8 bindings

#58 diskshima closed 3 years ago
0
Add variable keyword

#57 mb64 closed 4 years ago
1
Fix 'matchpairs' syntax

#56 mb64 closed 4 years ago
0
Unknown function: AgdaMakeCase

#55 VDVinh closed 4 years ago
2
Filename not matching module name leads to obscure errors

#54 blakej11 closed 4 years ago
1
Fix the Typerror by decoding the include paths

#53 GustavoMF31 closed 4 years ago
1
Fixed go to definition to work with Agda 2.6+, improved unicode support, added support for python 3

#52 1000000000 opened 4 years ago
4
Add more characters to the default glyphs

#51 taqenoqo closed 4 years ago
0
Load times slower than emacs mode

#50 msuperdock opened 4 years ago
1
Support for `*.lagda.md`?

#49 tgeng closed 4 years ago
3
Normalize doesn't seem to do anything (Agda 2.6.0.1)

#48 spearman closed 4 years ago
3
Hangs on Windows when opening agda file

#47 isti115 opened 4 years ago
1
Minimal changes necessary for having an async Agda process

#46 dolio opened 5 years ago
5
Store glyph mapping in a (user-configurable) dict

#45 rwe closed 5 years ago
1
A number of cleanups/moderniation improvements

#44 rwe closed 5 years ago
0
Remove some redundant code/settings

#43 rwe closed 5 years ago
0
warns when edit from other directories

#42 0kaguya closed 5 years ago
2
Add support for "Go to definition of identifier under point"

#41 srghma opened 5 years ago
4
feat: utf8 symbols -> Approaches the limit ≐ -> add

#40 srghma opened 5 years ago
0
Cmd_auto renamed to Cmd_autoOne in 2.6.0

#39 louisswarren closed 5 years ago
0
agda stdlib permission errors

#38 sanderr closed 5 years ago
5
README extension

#37 sanderr closed 5 years ago
0
Introduce SetRewriteMode<name> command for each mode

#36 andrejtokarcik closed 6 years ago
0
Set additional filetype options

#35 andrejtokarcik closed 6 years ago
2
Fix version parser when hyphen present

#34 VictorTaelin closed 6 years ago
1
Error: First load the file.

#33 VictorTaelin closed 6 years ago
2
Add support for Cmd_helper_function

#32 andrejtokarcik closed 6 years ago
2
Extend the utf-8 file

#31 nkaretnikov opened 6 years ago
1
Normalize broken for Agda 2.5.3

#30 kellino closed 6 years ago
1
Fix version check for Cmd_give

#29 louisswarren closed 6 years ago
1
Added WithoutForce to Give calls.

#28 jesyspa closed 6 years ago
1
As of Agda 2.5.3-alpha1, agda-vim doesn't work

#27 madgen closed 7 years ago
3
Python 3 Support

#26 tc-0 opened 7 years ago
1
unfoldAbstract not found fix

#25 anthonyquizon closed 7 years ago
0
updated unfold abstract flags in Normalize()

#24 anthonyquizon closed 7 years ago
1
Add 'inductive' and 'coinductive'.

#23 favonia closed 7 years ago
0
(Seemingly) fail to handle multiple responses from Agsy

#22 favonia closed 1 year ago
5
Minor updates to the highlighting rules.

#21 favonia closed 8 years ago
0
Ability to disable the insert-mode \ unicode entry

#20 HalosGhost closed 8 years ago
11
Python being parsed as Vimscript

#19 ghost closed 8 years ago
6
Make Agda usage (or at least Agsy usage) asynchronous

#18 derekelkins opened 8 years ago
1
Xmap should be Xnoremap

#17 isovector closed 8 years ago
0
Support Agda 2.6.0

#16 nkaretnikov closed 8 years ago
4
python3 compatibility

#15 glslang closed 8 years ago
1
Cannot resize buffers with C-w =

#14 nkaretnikov closed 8 years ago
1
Some commands don't work: "E129: Function name required"

#13 nkaretnikov closed 8 years ago
5
Input problems: lags after pressing the spacebar, unicode input

#12 nkaretnikov closed 8 years ago
3