agda-web-docs-lib/dist/cli.d.ts

Library for enhancing Agda-generated HTML documentation

#!/usr/bin/env node
export {};