@hackage Agda2.6.3

A dependently typed functional programming language and proof assistant

Agda 2

The official Agda logo

Note that this README is only about Agda, not its standard library. See the Agda Wiki for information about the library.

Installation
In your cabal file:
Tested Compilers
Dependencies (44)
- array >=0.5.1.1 && <0.6
- base >=4.9.0.0 && <4.18
- binary >=0.8.3.0 && <0.9
- bytestring >=0.10.8.1 && <0.12
- containers >=0.5.11.0 && <0.7
- deepseq >=1.4.2.0 && <1.5
Dependents (13)
@hackage/lhs2TeX-hl, @hackage/proof-assistant-bot, @hackage/blagda, @hackage/PandocAgda, @hackage/acme-everything, @hackage/agda2hs, Show all…

cpphs

(off by default)

Use cpphs instead of cpp.

debug

(off by default)

Enable debugging features that may slow Agda down.

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

(off by default)

Enable some expensive optimisations when compiling Agda.