History

Henrik Lissner ad6a3d0f33 refactor: deprecate featurep! for modulep! featurep! will be renamed modulep! in the future, so it's been deprecated. They have identical interfaces, and can be replaced without issue. featurep! was never quite the right name for this macro. It implied that it had some connection to featurep, which it doesn't (only that it was similar in purpose; still, Doom modules are not features). To undo such implications and be consistent with its namespace (and since we're heading into a storm of breaking changes with the v3 release anyway), now was the best opportunity to begin the transition.		2022-08-14 20:43:35 +02:00
..
config.el	refactor: deprecate featurep! for modulep!	2022-08-14 20:43:35 +02:00
packages.el	bump: :lang	2022-03-31 21:09:38 +02:00
README.org	revert: fix(docs): set mode in file-local vars	2022-08-07 19:08:07 +02:00

:lang coq

Description unfold

This module adds coq support, powered by Proof General.

This module has no dedicated maintainers. Become a maintainer?

This module has no flags.

This module does not have a changelog yet.

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 coqtop command 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.

🔨 This module has no usage documentation yet. Write some?

See related github issues There are no known problems with this module. Report one?

This module has no FAQs yet. Ask one?

🔨 This module has no appendix yet. Write one?