liamoc / agda-snippets

Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.
11Updated 7 years ago

Related projects

Alternatives and complementary repositories for agda-snippets