Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.
Here you can share your experience with the project you are suggesting or its comparison with agda-snippets. Optional.
A valid email to send you a verification link when necessary or log in.