agda-snippets (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|program