Popularity
9.9
Stable
Activity
9.8
Growing
909
52
119
Monthly Downloads: 428
Programming language: Haskell
License: LicenseRef-OtherLicense
Add another 'Agda' Package
|
Monitor and correlate metrics, traces, and logs in one platform. Free 14-day trial.
More from our partner
|
README
Agda 2
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
- Contribution how-to:
HACKING - Haskell style-guide