UNPKG

agda-web-docs-lib

Version:

Library for enhancing Agda-generated HTML documentation

github.com/will-break-it/agda-web-docs-lib

will-break-it/agda-web-docs-lib

3 files
../
base.css
16.2 kB
search.css
7.84 kB
typePreview.css
7.02 kB