README.org

:lang agda

Description

This module adds support for the agda programming language. The Emacs support exists directly in the agda repository, but not in melpa.

Maintainers

This module has no dedicated maintainers. Become a maintainer?

Module flags

+local

Use the agda-mode executable that comes with your local agda install.

+tree-sitter

Leverages tree-sitter for better syntax highlighting and structural text editing. Requires doom-module::tools tree-sitter.

Packages

• unless doom-module:+local
  • doom-package:agda-input
  • doom-package:agda2-mode

Hacks

No hacks documented for this module.

Changelog

This module does not have a changelog yet.

Installation

Enable this module in your doom! block.

This module has no external requirements.

Usage

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

Configuration

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

Troubleshooting

There are no known problems with this module. Report one?

Frequently asked questions

This module has no FAQs yet. Ask one?

Appendix

🔨 This module has no appendix yet. Write one?