emenel/doomemacs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
doomemacs/modules/lang/coq
History
Henrik Lissner d03ac051bf
fix(coq): inhibit indent detection 
Indent detection (via dtrt-indent) is slow and inconclusive in coq-mode
files. Since it's rarely helpful for them anyway, I inhibit it.

Fix: #5823
2024-02-02 03:33:53 -05:00
..
config.el fix(coq): inhibit indent detection 2024-02-02 03:33:53 -05:00
packages.el bump: :lang 2023-02-21 19:32:39 -05:00
README.org docs(*): replace all-the-icons with nerd-icons 2023-09-16 20:19:11 +02:00

README.org

:lang coq

Description   unfold

This module adds coq support, powered by Proof General.

Maintainers

This module has no dedicated maintainers. Become a maintainer?

Module flags

This module has no flags.

Packages

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

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/659f7bfc71d4d321728a5b8d68c5d2cd218d3dcb/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?