Popularity
9.9
Stable
Activity
9.8
Stable
909
52
119

Monthly Downloads: 616
Programming language: Haskell
License: LicenseRef-OtherLicense
Tags: Data Structures     Dependent Types     Agda    
Add another 'Agda' Package

README

Agda 2

Hackage version Stackage version Travis Status Appveyor Status Documentation Status

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