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

Lightweight, extensible code editor component for the web using Prism

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