issues
search
isovector
/
cornelis
agda-mode for neovim
BSD 3-Clause "New" or "Revised" License
130
stars
22
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Add agda binary that works with cornelis to nix
#104
JonathanLorimer
closed
1 year ago
0
Handle empty object returned by nvim_buf_get_extmark_by_id
#103
Lysxia
closed
1 year ago
1
Handle highlighting on modified source
#102
Lysxia
closed
1 year ago
7
Correctly track interaction points via extmarks
#101
isovector
closed
1 year ago
0
`Unknown function: nvimhs#start`
#100
Zelatrix
closed
1 year ago
6
Utils for debugging
#99
Lysxia
closed
1 year ago
1
Refactor offsets
#98
Lysxia
closed
1 year ago
0
Correctly pass ranges to Agda when operating over IPs
#97
isovector
opened
1 year ago
3
Unicode input regression
#96
Lysxia
closed
1 year ago
2
Get CI tests running on Windows
#95
malob
closed
1 year ago
1
Fix windows build and CI
#94
malob
closed
1 year ago
1
Support -l in agsy
#93
isovector
opened
1 year ago
0
Case split asks for what to split even if the goal is full
#92
isovector
closed
1 year ago
1
QuestionToMeta doesn't work for ?)
#91
isovector
closed
1 year ago
1
Get tests passing in CI
#90
isovector
closed
1 year ago
3
Automatically close info panel when exiting buffer
#89
xdoardo
closed
1 year ago
1
Minor highlighting issue
#88
Lysxia
closed
1 year ago
2
Improve CI
#87
malob
closed
1 year ago
6
Improve Nix flake
#86
malob
closed
1 year ago
1
Make IO with agda more robust
#85
Lysxia
closed
1 year ago
1
Silence errors when highlighting
#84
Lysxia
closed
1 year ago
1
Render goals even when errors are reported
#83
Lysxia
closed
1 year ago
1
Fix parsing of [NormalForm] in [DisplayInfo]
#82
CT075
closed
1 year ago
1
Invisible goals are sometimes not highlighted
#81
Lysxia
closed
1 year ago
7
Add Mathematical bold letters and a few more symbols
#80
Lysxia
closed
1 year ago
0
Some nix adjustments
#79
MangoIV
closed
1 year ago
4
Fix broken testsuite
#78
phijor
closed
1 year ago
2
More commands: `:CornelisGive`, `:CornelisElaborate` and `:CornelisAbort`
#77
phijor
closed
2 years ago
1
Fix bindings related to "→"
#76
chezbgone
closed
2 years ago
1
Typo in arrow binding?
#75
chezbgone
closed
2 years ago
1
Update snapshot of `nixpkgs`
#74
phijor
closed
2 years ago
3
Add haddock for everything
#73
isovector
closed
1 year ago
0
Allow agda-input prefixes other than <LocalLeader>
#72
CT075
closed
2 years ago
2
Questionmarks are replaced by `{! !}` in non-hole positions
#71
phijor
closed
2 years ago
5
bugfix: stop hiding [Left]/[Right] from [Cornelis.Types]
#70
CT075
closed
2 years ago
1
Add further customization options for info window placement
#69
CT075
closed
2 years ago
2
Do syntax highlighting for cubical terms in infowin
#68
isovector
closed
1 year ago
2
Support for cubical path types
#67
NickHu
closed
2 years ago
4
New `:CornelisNormalize` features: custom compute modes & normalization in holes
#66
phijor
closed
2 years ago
1
Add some symbols to agda-input.vim
#65
Lysxia
closed
2 years ago
1
feature: optionally silence binding remapping messages
#64
xdoardo
closed
2 years ago
3
Restrict height of the view with the goals
#63
Eloitor
closed
2 years ago
1
ghc version
#62
Eloitor
closed
2 years ago
2
Cornelis not loading properly for .lagda.md files
#61
aricursion
closed
1 year ago
4
Make it possible to open the information window on the right instead of at the top
#60
JakobBruenker
closed
2 years ago
3
Update agda-input.vim
#59
JonathanLorimer
closed
2 years ago
0
Cmd_give after refinement / etc
#58
isovector
opened
2 years ago
0
Tab completion for simplification modes
#57
isovector
closed
1 year ago
1
Cmd_goal_type_context_infer
#56
isovector
closed
2 years ago
4
Weird syntax highlighting
#55
masaeedu
closed
2 years ago
2
Previous
Next