agda-snippets-hakyll (hackage): Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.
Keywords: bsd3|dependent-types|deprecated|library