@hackage Agda2.8.0

A dependently typed functional programming language and proof assistant

Categories
License
MIT
Maintainer
The Agda Team
Links
Versions
- 2.8.0 Sun, 12 Oct 2025
- 2.7.0.1 Thu, 22 May 2025
- 2.7.0 Fri, 16 Aug 2024
- 2.6.4.3 Sun, 19 May 2024
- 2.6.4.2 Sat, 24 Feb 2024
- 2.6.4.1 Sat, 17 Feb 2024

Installation
In your cabal file:
Tested Compilers
Dependencies (54)
- STMonadTrans >=0.4.5 && <0.5
- Win32 >=2.6.1.0 && <2.15
- aeson >=1.4.7.1 && <2.3
- ansi-terminal >=0.10.3 && <1.2
- array >=0.5.4.0 && <0.6
- async >=2.2.2 && <2.3
Dependents (14)
@hackage/agda2train, @hackage/lhs2TeX-hl, @hackage/proof-assistant-bot, @hackage/blagda, @hackage/PandocAgda, @hackage/acme-everything, Show all…

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