/agda-snippets

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

Primary LanguageHaskellOtherNOASSERTION

Watchers