search

agda / cornelis

agda-mode for neovim
BSD 3-Clause "New" or "Revised" License
135 stars 23 forks source link

`star` is bound twice #139

Closed silky closed 9 months ago

silky commented 9 months ago

See: https://github.com/isovector/cornelis/blob/master/agda-input.vim#L1906

I assume this isn't intended.

isovector commented 9 months ago

Unintended. That file is a mishmash of several iterations of trying to backfill missing things. I'd be open to a PR!

On February 20, 2024 4:28:53 a.m. PST, Noon van der Silk @.***> wrote:

See: https://github.com/isovector/cornelis/blob/master/agda-input.vim#L1906

I assume this isn't intended.

-- Reply to this email directly or view it on GitHub: https://github.com/isovector/cornelis/issues/139 You are receiving this because you are subscribed to this thread.

Message ID: @.***>