@hackage Agda2.6.1

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 (40)
- Win32 >=2.3.1.1 && <2.7
- array >=0.5.1.1 && <0.6
- base >=4.9.0.0 && <4.15
- binary >=0.8.3.0 && <0.9
- bytestring >=0.10.8.1 && <0.11
- containers >=0.5.7.1 && <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

[![Join the chat at https://gitter.im/agda/agda](https://badges.gitter.im/agda/agda.svg)](https://gitter.im/agda/agda?utm_source=badge&utm_medium=badge&utm_campaign=pr-badge&utm_content=badge)

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.

Documentation

User manual (per-commit pdf can be downloaded from the github actions page)
CHANGELOG

Getting Started

Contributing to Agda

Contribution how-to: HACKING
Haskell style-guide