How to add as source to coq_nvim #76
Unanswered
mrphil2105
asked this question in
Q&A
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
-
Hey. I am confused as to how you would add lazydev as a source to coq_nvim. I have read the documentation for custom sources in coq, but it is very unclear to me how it should be done. Can anyone help me with this? Thanks in advance.
Beta Was this translation helpful? Give feedback.
All reactions