Popularity
10.0
Stable
Activity
9.7
Declining
1,630
49
203

Monthly Downloads: 440
Programming language: Haskell
License: LicenseRef-OtherLicense
Tags: Data Structures     Dependent Types     Agda    
Latest version: v2.6.3
Add another 'Agda' Package

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