agda-web-docs-lib

Version:

Library for enhancing Agda-generated HTML documentation

3 lines (2 loc) • 112 B

TypeScript

export { AgdaDocsTransformer } from './transformer'; export type { AgdaDocsConfig, ModuleInfo } from './types';