Popularity
3.8
Declining
Activity
-
-
4
1
2

Monthly Downloads: 76
Programming language: Haskell
License: BSD 3-clause "New" or "Revised" License
Tags: Dependent Types     Agda    
Add another 'agda' Package

agda-snippets-hakyll Recommendations

There are no recommendations yet. Be the first to promote agda-snippets-hakyll!

Have you used agda-snippets-hakyll? Share your experience. Write a short recommendation and agda-snippets-hakyll, you and your project will be promoted on Awesome Haskell.
Recommend agda-snippets-hakyll

Recently added agda-snippets-hakyll resources

Do you know of a usefull tutorial, book or news relevant to agda-snippets-hakyll?
Be the first to add one!