@hackage / Agda

Metadata

• Last updated 17 Apr 2026, by AndreasAbel
• License MIT

• Maintained by: The Agda Team

• Lottery factor: 2 New

  The number of people with uploader permission on @hackage/Agda who have released something to @hackage in the last 2 years (i.e. the number of people likely able to release critical fixes in a timely manner)

Links

• Homepage
• Documentation
• Source repository

Installation

Tested Compilers

1. 9.12.2
2. 9.10.2
3. 9.8.4
4. 9.6.7
5. 9.4.8
6. 9.2.8
7. 9.0.2
8. 8.10.7
9. 8.8.4

Package Flags

Use the -f option with cabal commands to enable flags

dump-core (off by default)

Write GHC core output.

debug (off by default)

Enable debug printing. This makes Agda slightly slower, and building Agda slower as well. The --verbose=N option only has an effect when Agda was built with this flag.

debug-serialisation (off by default)

Enable debug mode in serialisation. This makes serialisation slower.

debug-parsing (off by default)

Enable debug mode in parsing. This makes parsing slower.

enable-cluster-counting (off by default)

Enable the --count-clusters flag. (If enable-cluster-counting is False, then the --count-clusters flag triggers an error message.)

optimise-heavily (on by default)

Enable some expensive optimisations when compiling Agda.

use-xdg-data-home (off by default)

Install data files under $XDG_DATA_HOME/agda/$AGDA_VERSION by default instead of the installation location defined by Cabal. This should not be enabled in declarative build environments like Nix or Guix.