liamoc/agda-snippets

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

语言：Haskell · GitHub 星标：11 · Fork：1

在 GitHub 上查看原仓库