Monthly Downloads: 7
Programming language: Haskell
License: BSD 3-clause "New" or "Revised" License
Tags: Dependent Types Agda
agda-snippets-hakyll alternatives and similar packages
Based on the "agda" category.
Alternatively, view agda-snippets alternatives based on common mentions on social networks and blogs.
agda-unusedCheck for unused code in an Agda project.
Do you think we are missing an alternative of agda-snippets-hakyll or a related project?