Popularity
9.9
Stable
Activity
9.8
Growing
718
52
104
Monthly Downloads: 647
Programming language: Haskell
License: LicenseRef-OtherLicense
Add another 'Agda' Package
Agda Recommendations
There are no recommendations yet. Be the first to promote Agda!
Have you used Agda? Share your experience. Write a short recommendation and Agda, you and your project will be promoted on Awesome Haskell.
Recommend Agda
Recently added Agda resources
Do you know of a usefull tutorial, book or news relevant to Agda?
Be the first to add one!
Be the first to add one!