Popularity
10.0
Stable
Activity
9.9
Growing
2,662
65
377

README

Agda 2

Hackage version Stackage version Test Stack Build Status via GH Actions Documentation Status Agda Zulip

[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 for information about the library.

Documentation

Getting Started

Contributing to Agda