search

agda / cornelis

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

Cornelis gets started for every agda buffer #14

Closed isovector closed 2 years ago

isovector commented 2 years ago

Not the end of the world, but rather curious.

isovector commented 2 years ago

Fixed upstream! Thanks @saep! https://github.com/neovimhaskell/nvim-hs.vim/commit/d4a6b7278ae6a1fdc64e300c3ebc1e24719af342