@hackage Agda2.6.0

A dependently typed functional programming language and proof assistant

Categories
License
LicenseRef-OtherLicense
Maintainer
Ulf Norell <ulfn@chalmers.se>
Links
Versions
- 2.7.0.1 Sun, 27 Oct 2024
- 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
- 2.6.4 Tue, 10 Oct 2023

Deprecated
This release has been deprecated in favour of: @hackage/Agda-2.7.0.1
Tested Compilers
Dependencies (42)
- Win32 >=2.3.1.0 && <2.7
- array >=0.5.1.0 && <0.6
- base >=4.8.0.0 && <4.13
- binary >=0.7.3.0 && <0.9
- bytestring >=0.10.6.0 && <0.11
- containers >=0.5.6.2 && <0.7
Dependents (14)
@hackage/agda2train, @hackage/lhs2TeX-hl, @hackage/proof-assistant-bot, @hackage/blagda, @hackage/PandocAgda, @hackage/acme-everything, Show all…

Package Flags

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

Agda 2

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

Documentation

Getting Started

Hacking on Agda

Head to HACKING