Agda

A dependently typed functional programming language and proof assistant

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

LTS Haskell 24.58:	2.8.0.1
Stackage Nightly 2026-09-07:	2.8.0.1
Latest on Hackage:	2.8.0.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.1@sha256:3802b47af6ad70ba32ffe4302dd888b33f9a1673799fe3c76db654aba26009c3,34192

Module documentation for 2.8.0.1

Agda

Depends on 52 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, gitrev, hashable, haskeline, monad-control, mtl, murmur-hash, nonempty-containers, parallel, peano, pqueue, pretty, process, process-extras, regex-tdfa, split, and many more

Used by 1 package in lts-24.58(full list with versions):

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

Added support for GHC 9.14.1
Agda supports GHC versions 8.8.4 to 9.14.1.