2 agda packages and projects
-
agda-snippets-hakyll
4.4 0.0 HaskellLibrary and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.
10
8
6
4
2
Do not miss the trending, packages, news and articles with our weekly report.