:lang agda

Types of types of types of types…

1. Description

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

1.1. Maintainers

This module has no dedicated maintainers. Become a maintainer?

1.2. Module flags

+local
Don’t install agda and rely on a pre-existing local installation of the package instead.

1.4. Hacks

No hacks documented for this module.

2. Prerequisites

This module has no external prerequisites.

3. TODO Usage

This module has no usage documentation yet. Write some?

4. TODO Configuration

This module has no configuration documentation yet. Write some?

5. Troubleshooting

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

6. TODO Appendix

This module has no appendix yet. Write one?