agda/agda

---

agda/agda.json

{
  "createdAt": "2015-08-08T17:51:48Z",
  "defaultBranch": "master",
  "description": "Agda is a dependently typed programming language / interactive theorem prover.",
  "fullName": "agda/agda",
  "homepage": "https://wiki.portal.chalmers.se/agda/pmwiki.php",
  "language": "Haskell",
  "name": "agda",
  "pushedAt": "2025-11-25T17:16:11Z",
  "stargazersCount": 2744,
  "topics": [
    "agda",
    "dependent-types",
    "programming-language",
    "proof-assistant",
    "type-theory"
  ],
  "updatedAt": "2025-11-25T16:09:04Z",
  "url": "https://github.com/agda/agda"
}

Agda 2

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

Documentation

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

Getting Started

• Installation
• Quick guide to editing, type checking and compiling Agda code

Contributing to Agda

• Contribution how-to: HACKING
• Haskell style-guide

[agdawiki] !: http://wiki.portal.chalmers.se/agda/pmwiki.php