prism-code-editor-lightweight/dist/languages/coq.js

Lightweight, extensible code editor component for the web using Prism

import { l as languageMap } from "../index-MBlAXvVu.js";
import { b as bracketIndenting } from "../index-Fp08-m-Z.js";
languageMap.coq = bracketIndenting({ block: ["(*", "*)"] });
//# sourceMappingURL=coq.js.map