Agda

A dependently typed functional programming language and proof assistant

http://wiki.portal.chalmers.se/agda/

Version on this page:2.6.1.3
LTS Haskell 22.14:2.6.4.3
Stackage Nightly 2024-03-29:2.6.4.3
Latest on Hackage:2.6.4.3

See all snapshots Agda appears in

LicenseRef-OtherLicense licensed by Ulf Norell and The Agda Team, see https://agda.readthedocs.io/en/latest/team.html
Maintained by Ulf Norell
This version can be pinned in stack with:Agda-2.6.1.3@sha256:87769ebab4259b184c5b11d5beaff39b88bcc37902dfb3341f4fc46c5c7d3134,32945

Module documentation for 2.6.1.3

Agda 2

Hackage version Stackage version Travis Status Stack Build Status via GH Actions Appveyor Status Documentation Status Join the chat at https://gitter.im/agda/agda

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

Getting Started

Contributing to Agda

Changes

Release notes for Agda version 2.6.1.3

  • Added support for GHC 8.10.3.