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

2 folders, 18 files

	Filename	Content Type	Size
	../
	scripts/	–	65.3 kB
	styles/	–	31 kB
	cli.d.ts	text/typescript	31 B
	cli.js	text/javascript	10.5 kB
	cli.js.map	application/json	7.52 kB
	index.d.ts	text/typescript	112 B
	index.js	text/javascript	335 B
	index.js.map	application/json	140 B
	indexer.d.ts	text/typescript	1.15 kB
	indexer.js	text/javascript	9.43 kB
	indexer.js.map	application/json	5.24 kB
	search.d.ts	text/typescript	1.3 kB
	search.js	text/javascript	13.3 kB
	search.js.map	application/json	8.6 kB
	transformer.d.ts	text/typescript	1.71 kB
	transformer.js	text/javascript	26.8 kB
	transformer.js.map	application/json	15.5 kB
	types.d.ts	text/typescript	725 B
	types.js	text/javascript	110 B
	types.js.map	application/json	102 B