Agda 2
======

[![Hackage version](https://img.shields.io/hackage/v/Agda.svg?label=Hackage)](http://hackage.haskell.org/package/Agda)
[![Stackage version](https://www.stackage.org/package/Agda/badge/lts?label=Stackage)](https://www.stackage.org/package/Agda)
[![Travis Status](https://travis-ci.org/agda/agda.svg?branch=master)](https://travis-ci.org/agda/agda)
[![Stack Build Status via GH Actions](https://github.com/agda/agda/workflows/stack%20build/badge.svg)](https://github.com/agda/agda/actions?query=workflow%3A%22stack+build%22)
[![Appveyor Status](https://ci.appveyor.com/api/projects/status/x6liln2dol0bg4qw/branch/master?svg=true)](https://ci.appveyor.com/project/gallais/agda)
[![Documentation Status](https://readthedocs.org/projects/agda/badge/?version=latest)](http://agda.readthedocs.io/en/latest/?badge=latest) [![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](doc/user-manual/agda.svg)

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](http://agda.readthedocs.io)
  (per-commit pdf can be downloaded from the
  [github actions](https://github.com/agda/agda/actions?query=workflow%3A%22User+Manual%22) page)
* [CHANGELOG](https://github.com/agda/agda/blob/master/CHANGELOG.md)

Getting Started
----------------

* [Prerequisites](http://agda.readthedocs.io/en/latest/getting-started/prerequisites.html)
* [Installation](http://agda.readthedocs.io/en/latest/getting-started/installation.html)
* [Quick guide to editing, type checking and compiling Agda
  code](http://agda.readthedocs.io/en/latest/getting-started/quick-guide.html)

Contributing to Agda
--------------------

* Contribution how-to: [`HACKING`](https://github.com/agda/agda/blob/master/HACKING.md)
* [Haskell style-guide](https://github.com/andreasabel/haskell-style-guide/blob/master/haskell-style.md)

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