Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.
Does anyone write their Vim plugins in Haskell? cf. https://github.com/neovimhaskell/nvim-hs
I do, I created a higher-level framework: https://github.com/tek/ribosome no docs yet though.
also a few plugins: https://github.com/tek/myo https://github.com/tek/proteome https://github.com/tek/uracil
I wonder if it would be easy to hook to the agda lib api using nvim-hs to write an agda plugin for vim :thinking:
(not familiar at all how usable the agda lib's api is on its own though)