@hackage Agda2.6.4.3

A dependently typed functional programming language and proof assistant

Agda 2

Hackage version Stackage version Test Documentation Status Agda Zulip

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.


Getting Started

Contributing to Agda