issues
search
agda
/
cornelis
agda-mode for neovim
BSD 3-Clause "New" or "Revised" License
135
stars
23
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Type Inference does not work
#159
ANinjaRabbit
opened
4 days ago
0
it says file is not executable
#158
ARBS-hmm
opened
1 month ago
1
dont set `ft=agda` for literate agda
#157
4e554c4c
opened
1 month ago
0
autoOne functionality update for Agda v2.7.0 and up
#156
iwashis
closed
1 month ago
3
Feature/change agsy to mimer
#155
iwashis
closed
1 month ago
0
Goto Definition is off by one
#154
m0rphism
opened
4 months ago
3
Highlighting group CornelisType only affects InfoWindow
#153
milaurila
opened
5 months ago
4
Fix testsuite
#152
phijor
opened
6 months ago
0
Include Agda files needed for tests in sdist
#151
phijor
closed
6 months ago
2
Hackage distribution is missing test files
#150
phijor
closed
6 months ago
1
Ignore failed writes when loading buffer
#149
phijor
closed
6 months ago
1
Inputting the "agda input prefix" as a literal
#148
googleson78
opened
6 months ago
5
Publishing to Hackage
#147
phijor
closed
7 months ago
1
Reduce closure size of Nix derivation
#146
phijor
closed
7 months ago
1
Update to GHC 9.6.4
#145
malob
closed
8 months ago
1
Vimscript: is this a design choice?
#144
lane-core
opened
8 months ago
3
Auto-close the info window, when closing the current buffer.
#143
silky
closed
9 months ago
1
Spin out the `agda-input` part into it's own plugin?
#142
silky
closed
4 months ago
6
`CornelisRefine` on unknown seems to print Aeson JSON instead of ... something?
#141
silky
opened
9 months ago
0
removed some duplicates
#140
silky
closed
9 months ago
1
`star` is bound twice
#139
silky
closed
9 months ago
1
Multi-line comment quirk - it inserts single-line comment prefixes
#138
silky
opened
9 months ago
1
Allow running load synchronously
#137
googleson78
opened
9 months ago
8
`buildVimPluginFrom2Nix` is deprecated
#136
uf5
closed
9 months ago
1
lazy.nvim build fails `ar: conftest.a: No such file`
#135
gwimm
closed
10 months ago
1
Update GHC versions with default as 9.4.8
#134
malob
closed
11 months ago
0
Can't find interaction point 0
#133
JonathanLorimer
opened
11 months ago
3
Specify highlight priority
#132
4e554c4c
closed
11 months ago
1
add hlint
#131
4e554c4c
closed
11 months ago
5
Add back deleted bindings
#130
favonia
closed
12 months ago
1
Addition of Latex input bindings causing parse error
#129
epeery
closed
12 months ago
1
Add more bindings inherited from Tex Input Method?
#128
favonia
closed
12 months ago
6
How to check type of term under cursor
#127
langfield
closed
1 year ago
6
Update GHC versions with default as 9.4.7
#126
malob
closed
1 year ago
1
`CornelisUnsolvedMeta` highlight does not appear some of the time
#125
4e554c4c
closed
11 months ago
5
`:CornelisSolve` does not do anything
#124
4e554c4c
closed
1 year ago
1
Fix Agda builds
#123
malob
closed
1 year ago
0
Improve CI
#122
malob
closed
1 year ago
1
Splitting inside lambda using where-block causes unhandled exception
#121
mbrea-c
opened
1 year ago
1
Update GHC versions
#120
malob
closed
1 year ago
1
Sometimes makes extra scratch buffers
#119
llllvvuu
closed
1 year ago
0
Update to GHC 9.2.7
#118
malob
closed
1 year ago
3
Syntax is lost after go-to-def (or editing a file)
#117
4e554c4c
opened
1 year ago
8
Loading of read-only modules fails
#116
phijor
closed
6 months ago
0
Fix Nix build and update Stack resolver and Nix flake inputs
#115
malob
closed
1 year ago
1
User-customizable highlighting
#114
phijor
closed
1 year ago
6
Don't jump to top of file when refining an hole with a type error
#113
isovector
opened
1 year ago
2
Vimify IP intervals asap
#112
Lysxia
closed
1 year ago
1
Infer type of expression using `:CornelisTypeInfer`
#111
phijor
closed
1 year ago
3
feat: fix IPs
#110
isovector
closed
1 year ago
0
Next