Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.
Why do you think that https://github.com/msuperdock/agda-unused is a good alternative to agda-snippets
Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.
Why do you think that https://github.com/msuperdock/agda-unused is a good alternative to agda-snippets