Я установил Coq с opam и хочу создать плагин Coq. Мне удалось скомпилировать некоторые примеры плагинов, используя coq_makefile
, но было бы здорово, если бы я мог использовать merlin in vim для информации о типе и завершения для библиотек Coq.Использование merlin in vim для разработки плагина coq в ocaml
Есть ли способ, которым я могу добавить библиотеки Coq в ocamlfind?
Я действительно мало знаю о подключаемом модуле или merlin, но я знаю, что некоторые люди в списке рассылки coq-club играют с этими методами упаковки в данный момент. Я не думаю, что они часто приходят к SO, поэтому я думаю, вы также должны задать свой вопрос в списке рассылки. – Vinz
Спасибо за предложение. Я связался с некоторыми peple, которые используют merlin в некоторых версиях для плагинов Coq, но я думаю, что это хорошая идея спросить и в списке рассылки. –