umazalakain/agda-snippets
Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.
HaskellNOASSERTION
Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.
HaskellNOASSERTION