search

ashinkarov / nvim-agda

Agda interaction pluging for neovim
36 stars 5 forks source link

Initial support for Cmd_solveAll #3

Closed isovector closed 2 years ago

isovector commented 2 years ago

This PR adds support for Cmd_solveAll now that it's fixed upstream.

Fixes #2

ashinkarov commented 2 years ago

Thank you for the contribution! Looks good to me. Can you share a simplest possible agda example so that I could test the feature? Also, could you mention new command in README.md?

ashinkarov commented 2 years ago

Ok, I'll merge this is in and adjust the README.

isovector commented 2 years ago

Sorry, I got annoyed with lua and went to implement my own agda plugin in Haskell. All the best!