Agda

A dependently typed functional programming language and proof assistant

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

LTS Haskell 24.63:	2.8.0.2
Stackage Nightly 2026-10-12:	2.8.0.2@rev:1
Latest on Hackage:	2.8.0.2@rev:1

See all snapshots Agda appears in

MIT licensed by The Agda Team, see https://agda.readthedocs.io/en/latest/team.html

Maintained by The Agda Team

This version can be pinned in stack with:Agda-2.8.0.2@sha256:b09e6dca2cee09dfa4a0516df4c96410393711d11059226588a4e9dbc8c15cfd,34578

Module documentation for 2.8.0.2

Agda

Depends on 51 packages(full list with versions):

aeson, Agda, ansi-terminal, array, async, base, binary, blaze-html, boxes, bytestring, case-insensitive, containers, data-hash, deepseq, directory, dlist, edit-distance, enummapset, equivalence, exceptions, filelock, filemanip, filepath, generic-data, ghc-compact, hashable, haskeline, monad-control, mtl, murmur-hash, nonempty-containers, parallel, peano, pqueue, pretty, process, process-extras, regex-tdfa, split, stm, and many more

Used by 1 package in nightly-2026-10-12(full list with versions):

Agda

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.

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

Changes

Release notes for Agda version 2.8.0.2

This version fixes two issues with the released binaries. No non-installation related issues were fixed over 2.8.0 or 2.8.0.1. So if you have installed 2.8.0 or 2.8.0.1 already there is no need to upgrade to 2.8.0.2.

Fix problem with missing zlib1.dll in released Windows binary (issue #8733)
Remove commit hash from version number in released binaries (issue #8716)
Agda supports GHC versions 8.8.4 to 9.14.1.