Monthly Downloads: 8
Programming language: Haskell
License: MIT License
Tags: Dependent Types Agda
agda-unused alternatives and similar packages
Based on the "agda" category.
Alternatively, view agda-unused alternatives based on common mentions on social networks and blogs.
agda-snippets-hakyllLibrary and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.
Do you think we are missing an alternative of agda-unused or a related project?