isovector/cornelis issues and pull requests

#158 - it says file is not executable

Issue - State: open - Opened by ARBS-hmm 4 months ago - 1 comment

#157 - dont set `ft=agda` for literate agda

Issue - State: open - Opened by 4e554c4c 4 months ago

#156 - autoOne functionality update for Agda v2.7.0 and up

Pull Request - State: closed - Opened by iwashis 4 months ago - 3 comments

#155 - Feature/change agsy to mimer

Pull Request - State: closed - Opened by iwashis 4 months ago

#154 - Goto Definition is off by one

Issue - State: open - Opened by m0rphism 7 months ago - 3 comments

#153 - Highlighting group CornelisType only affects InfoWindow

Issue - State: open - Opened by milaurila 8 months ago - 4 comments

#152 - Fix testsuite

Pull Request - State: open - Opened by phijor 9 months ago

#151 - Include Agda files needed for tests in sdist

Pull Request - State: closed - Opened by phijor 9 months ago - 2 comments

#150 - Hackage distribution is missing test files

Issue - State: closed - Opened by phijor 9 months ago - 1 comment

#149 - Ignore failed writes when loading buffer

Pull Request - State: closed - Opened by phijor 9 months ago - 1 comment

#148 - Inputting the "agda input prefix" as a literal

Issue - State: open - Opened by googleson78 10 months ago - 5 comments

#147 - Publishing to Hackage

Issue - State: closed - Opened by phijor 10 months ago - 1 comment

#147 - Publishing to Hackage

Issue - State: closed - Opened by phijor 10 months ago - 1 comment

#146 - Reduce closure size of Nix derivation

Pull Request - State: closed - Opened by phijor 11 months ago - 1 comment

#146 - Reduce closure size of Nix derivation

Pull Request - State: closed - Opened by phijor 11 months ago - 1 comment

#145 - Update to GHC 9.6.4

Pull Request - State: closed - Opened by malob 11 months ago - 1 comment

#145 - Update to GHC 9.6.4

Pull Request - State: closed - Opened by malob 11 months ago - 1 comment

#144 - Vimscript: is this a design choice?

Issue - State: open - Opened by lane-core 11 months ago - 3 comments

#144 - Vimscript: is this a design choice?

Issue - State: open - Opened by lane-core 11 months ago - 3 comments

#143 - Auto-close the info window, when closing the current buffer.

Pull Request - State: closed - Opened by silky 12 months ago - 1 comment

#143 - Auto-close the info window, when closing the current buffer.

Pull Request - State: closed - Opened by silky 12 months ago - 1 comment

#142 - Spin out the `agda-input` part into it's own plugin?

Issue - State: closed - Opened by silky 12 months ago - 6 comments

#142 - Spin out the `agda-input` part into it's own plugin?

Issue - State: open - Opened by silky 12 months ago - 5 comments

#141 - `CornelisRefine` on unknown seems to print Aeson JSON instead of ... something?

Issue - State: open - Opened by silky almost 1 year ago

#140 - removed some duplicates

Pull Request - State: closed - Opened by silky almost 1 year ago - 1 comment

#140 - removed some duplicates

Pull Request - State: closed - Opened by silky almost 1 year ago - 1 comment

#139 - `star` is bound twice

Issue - State: closed - Opened by silky almost 1 year ago - 1 comment

#139 - `star` is bound twice

Issue - State: closed - Opened by silky almost 1 year ago - 1 comment

#138 - Multi-line comment quirk - it inserts single-line comment prefixes

Issue - State: open - Opened by silky almost 1 year ago - 1 comment

#138 - Multi-line comment quirk - it inserts single-line comment prefixes

Issue - State: open - Opened by silky almost 1 year ago - 1 comment

#137 - Allow running load synchronously

Pull Request - State: open - Opened by googleson78 about 1 year ago - 8 comments

#136 - `buildVimPluginFrom2Nix` is deprecated

Pull Request - State: closed - Opened by uf5 about 1 year ago - 1 comment

#136 - `buildVimPluginFrom2Nix` is deprecated

Pull Request - State: closed - Opened by uf5 about 1 year ago - 1 comment

#135 - lazy.nvim build fails `ar: conftest.a: No such file`

Issue - State: closed - Opened by gwimm about 1 year ago - 1 comment

#134 - Update GHC versions with default as 9.4.8

Pull Request - State: closed - Opened by malob about 1 year ago

#133 - Can't find interaction point 0

Issue - State: open - Opened by JonathanLorimer about 1 year ago - 3 comments

#133 - Can't find interaction point 0

Issue - State: open - Opened by JonathanLorimer about 1 year ago - 3 comments

#132 - Specify highlight priority

Pull Request - State: closed - Opened by 4e554c4c about 1 year ago - 1 comment

#131 - add hlint

Pull Request - State: closed - Opened by 4e554c4c about 1 year ago - 5 comments

#130 - Add back deleted bindings

Pull Request - State: closed - Opened by favonia about 1 year ago - 1 comment

#130 - Add back deleted bindings

Pull Request - State: closed - Opened by favonia about 1 year ago - 1 comment

#129 - Addition of Latex input bindings causing parse error

Issue - State: closed - Opened by epeery about 1 year ago - 1 comment

#129 - Addition of Latex input bindings causing parse error

Issue - State: closed - Opened by epeery about 1 year ago - 1 comment

#128 - Add more bindings inherited from Tex Input Method?

Issue - State: closed - Opened by favonia about 1 year ago - 6 comments

#128 - Add more bindings inherited from Tex Input Method?

Issue - State: closed - Opened by favonia about 1 year ago - 6 comments

#127 - How to check type of term under cursor

Issue - State: closed - Opened by langfield over 1 year ago - 6 comments

#127 - How to check type of term under cursor

Issue - State: closed - Opened by langfield over 1 year ago - 6 comments

#126 - Update GHC versions with default as 9.4.7

Pull Request - State: closed - Opened by malob over 1 year ago - 1 comment

#126 - Update GHC versions with default as 9.4.7

Pull Request - State: closed - Opened by malob over 1 year ago - 1 comment

#125 - `CornelisUnsolvedMeta` highlight does not appear some of the time

Issue - State: closed - Opened by 4e554c4c over 1 year ago - 5 comments

#125 - `CornelisUnsolvedMeta` highlight does not appear some of the time

Issue - State: closed - Opened by 4e554c4c over 1 year ago - 5 comments

#124 - `:CornelisSolve` does not do anything

Issue - State: closed - Opened by 4e554c4c over 1 year ago - 1 comment

#123 - Fix Agda builds

Pull Request - State: closed - Opened by malob over 1 year ago

#123 - Fix Agda builds

Pull Request - State: closed - Opened by malob over 1 year ago

#122 - Improve CI

Pull Request - State: closed - Opened by malob over 1 year ago - 1 comment

#122 - Improve CI

Pull Request - State: closed - Opened by malob over 1 year ago - 1 comment

#121 - Splitting inside lambda using where-block causes unhandled exception

Issue - State: open - Opened by mbrea-c over 1 year ago - 1 comment

#121 - Splitting inside lambda using where-block causes unhandled exception

Issue - State: open - Opened by mbrea-c over 1 year ago - 1 comment

#120 - Update GHC versions

Pull Request - State: closed - Opened by malob over 1 year ago - 1 comment

#119 - Sometimes makes extra scratch buffers

Issue - State: closed - Opened by llllvvuu almost 2 years ago

#119 - Sometimes makes extra scratch buffers

Issue - State: closed - Opened by llllvvuu almost 2 years ago

#118 - Update to GHC 9.2.7

Pull Request - State: closed - Opened by malob almost 2 years ago - 3 comments

#118 - Update to GHC 9.2.7

Pull Request - State: closed - Opened by malob almost 2 years ago - 3 comments

#117 - Syntax is lost after go-to-def (or editing a file)

Issue - State: closed - Opened by 4e554c4c almost 2 years ago - 3 comments

#117 - Syntax is lost after go-to-def (or editing a file)

Issue - State: closed - Opened by 4e554c4c almost 2 years ago - 4 comments

#116 - Loading of read-only modules fails

Issue - State: closed - Opened by phijor almost 2 years ago

#116 - Loading of read-only modules fails

Issue - State: open - Opened by phijor almost 2 years ago

#115 - Fix Nix build and update Stack resolver and Nix flake inputs

Pull Request - State: closed - Opened by malob about 2 years ago - 1 comment

#115 - Fix Nix build and update Stack resolver and Nix flake inputs

Pull Request - State: closed - Opened by malob about 2 years ago - 1 comment

#114 - User-customizable highlighting

Pull Request - State: closed - Opened by phijor about 2 years ago - 6 comments

#113 - Don't jump to top of file when refining an hole with a type error

Issue - State: open - Opened by isovector about 2 years ago - 2 comments
Labels: bug

#112 - Vimify IP intervals asap

Pull Request - State: closed - Opened by Lysxia about 2 years ago - 1 comment

#111 - Infer type of expression using `:CornelisTypeInfer`

Pull Request - State: closed - Opened by phijor about 2 years ago - 3 comments

#111 - Infer type of expression using `:CornelisTypeInfer`

Pull Request - State: closed - Opened by phijor about 2 years ago - 3 comments

#110 - feat: fix IPs

Pull Request - State: closed - Opened by isovector about 2 years ago

#110 - feat: fix IPs

Pull Request - State: closed - Opened by isovector about 2 years ago

#109 - Agda identifiers don't correctly get tackled by vim movements

Issue - State: open - Opened by isovector about 2 years ago
Labels: blocked upstream

#109 - Agda identifiers don't correctly get tackled by vim movements

Issue - State: open - Opened by isovector about 2 years ago
Labels: blocked upstream

#108 - Provide snippets for unicode selection

Issue - State: closed - Opened by 4e554c4c about 2 years ago - 5 comments
Labels: question

#108 - Provide snippets for unicode selection

Issue - State: closed - Opened by 4e554c4c about 2 years ago - 5 comments
Labels: question

#107 - Allow configuring infoview width

Pull Request - State: closed - Opened by 4e554c4c about 2 years ago - 1 comment

#107 - Allow configuring infoview width

Pull Request - State: closed - Opened by 4e554c4c about 2 years ago - 1 comment

#106 - Update resolver, simplify CI, and reduce CI average runtime

Pull Request - State: closed - Opened by malob about 2 years ago - 1 comment

#106 - Update resolver, simplify CI, and reduce CI average runtime

Pull Request - State: closed - Opened by malob about 2 years ago - 1 comment

#105 - More CI improvements

Pull Request - State: closed - Opened by malob about 2 years ago - 1 comment

#104 - Add agda binary that works with cornelis to nix

Pull Request - State: closed - Opened by JonathanLorimer about 2 years ago

#104 - Add agda binary that works with cornelis to nix

Pull Request - State: closed - Opened by JonathanLorimer about 2 years ago

#103 - Handle empty object returned by nvim_buf_get_extmark_by_id

Pull Request - State: closed - Opened by Lysxia about 2 years ago - 1 comment

#102 - Handle highlighting on modified source

Pull Request - State: closed - Opened by Lysxia about 2 years ago - 7 comments

#102 - Handle highlighting on modified source

Pull Request - State: closed - Opened by Lysxia about 2 years ago - 7 comments

#101 - Correctly track interaction points via extmarks

Pull Request - State: closed - Opened by isovector about 2 years ago

#101 - Correctly track interaction points via extmarks

Pull Request - State: closed - Opened by isovector about 2 years ago

#100 - `Unknown function: nvimhs#start`

Issue - State: closed - Opened by Zelatrix about 2 years ago - 6 comments

#100 - `Unknown function: nvimhs#start`

Issue - State: closed - Opened by Zelatrix about 2 years ago - 6 comments

#99 - Utils for debugging

Issue - State: closed - Opened by Lysxia about 2 years ago - 1 comment

#98 - Refactor offsets

Pull Request - State: closed - Opened by Lysxia about 2 years ago

#98 - Refactor offsets

Pull Request - State: closed - Opened by Lysxia about 2 years ago

#97 - Correctly pass ranges to Agda when operating over IPs

Issue - State: open - Opened by isovector about 2 years ago - 3 comments
Labels: question

#97 - Correctly pass ranges to Agda when operating over IPs

Issue - State: open - Opened by isovector about 2 years ago - 3 comments
Labels: question

#96 - Unicode input regression

Issue - State: closed - Opened by Lysxia about 2 years ago - 2 comments

GitHub / isovector/cornelis issues and pull requests