mirror of
https://github.com/doomemacs/doomemacs
synced 2025-08-01 12:17:25 -05:00
9be19e20dc
ProofGeneral/PG@e0ec3db200 -> ProofGeneral/PG@85cde55a86 ananthakumaran/exunit.el@ee06b14b61 -> ananthakumaran/exunit.el@8de56e3fd5 emacs-lsp/emacs-ccls@41399b0eba -> emacs-lsp/emacs-ccls@28c7930c89 emacs-php/php-mode@0f756a8c07 -> emacs-php/php-mode@5b6cc1c068 hhvm/hack-mode@343e45f2a6 -> hhvm/hack-mode@0addbff8b6 immerrr/lua-mode@d074e4134b -> immerrr/lua-mode@2f6b8d7a63 jart/disaster@b20f8e1ef9 -> jart/disaster@8b44591322 jwiegley/emacs-async@b99658e831 -> jwiegley/emacs-async@bb3f31966e ocaml/dune@b74586e909 -> ocaml/dune@a46193e167 ocaml/merlin@92c3ba9473 -> ocaml/merlin@2eeb63d002 ocaml/tuareg@1d53723e39 -> ocaml/tuareg@1600fdad28 purescript-emacs/purescript-mode@b076bafe94 -> purescript-emacs/purescript-mode@a3d6ca4ba5 technomancy/fennel-mode@4ccb6d5944 -> technomancy/fennel-mode@811f39de12
:lang coq
Description unfold
This module adds coq support, powered by Proof General.
- Code completion (company-coq)
- Snippets
Maintainers
This module has no dedicated maintainers. Become a maintainer?
Module flags
This module has no flags.
Hacks
- Replaces coq-mode abbrevs with yasnippet snippets from doom's snippet library
TODO Changelog
This module does not have a changelog yet.
Installation
- Enable this module in your
doom!block. - To use the completion features of company-coq you need to enable
(:completion company) - Make sure you have Coq installed and that the
coqtopcommand is available. This comes with a standard installation of Coq. You can use your linux distribution's Coq package or one of the methods given on the Coq website.
TODO Usage
This module has no usage documentation yet. Write some?
Configuration
This module provides no additional configuration over that of the Packages it loads
Troubleshooting
See related github issues There are no known problems with this module. Report one?
Frequently asked questions
This module has no FAQs yet. Ask one?
TODO Appendix
This module has no appendix yet. Write one?