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/mstksg/lens-typelevel 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/mstksg/lens-typelevel is a good alternative to agda-snippets