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

6 files

	Filename	Content Type	Size
	../
	codeBlocks.js	text/javascript	10.3 kB
	search.js	text/javascript	22.2 kB
	sidebarToggle.js	text/javascript	2.79 kB
	themeInit.js	text/javascript	213 B
	themeToggle.js	text/javascript	654 B
	typePreview.js	text/javascript	29.1 kB