Nic*_*ann 5 vim ocaml coq ocamlfind merlin
我用opam安装了Coq，并想制作一个Coq插件。我设法使用编译了一些插件示例coq_makefile，但是如果我可以在vim中使用merlin来获取类型信息并完成Coq库，那将是很棒的。
coq_makefile
有没有一种方法可以将Coq库添加到ocamlfind？
小智 4
coq_makefile现在将为您生成一个 .merlin。只需输入
make .merlin
归档时间：
10 年，6 月 前
查看次数：
299 次
最近记录：
5 年，11 月 前