037b018cdd
These optional dotfiles indicate the root of a module or module group (:lang), and will later contain module metadata. They will also serve as an alternative to packages.el and doctor.el, and will aide the parts of the v3.0 module API concerned with resolving the current module from a path (`doom-module-from-path`), which currently rely too heavily on parsing path strings. For now, however, they're simply placeholders. |
||
|---|---|---|
| .. | ||
| .doommodule | ||
| config.el | ||
| packages.el | ||
| README.org | ||
: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 /emenel/doomemacs/src/commit/22d5e3059f5502df314b9df75e34f2d821f01d78/modules/lang/coq/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?