Popularity
9.9
Stable
Activity
9.7
Declining
788
54
110

Monthly Downloads: 937
Programming language: Haskell
License: LicenseRef-OtherLicense
Tags: Data Structures     Dependent Types     Agda    
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!