agda-web-docs-lib/dist/index.js

Library for enhancing Agda-generated HTML documentation

"use strict";
Object.defineProperty(exports, "__esModule", { value: true });
exports.AgdaDocsTransformer = void 0;
var transformer_1 = require("./transformer");
Object.defineProperty(exports, "AgdaDocsTransformer", { enumerable: true, get: function () { return transformer_1.AgdaDocsTransformer; } });
//# sourceMappingURL=index.js.map