UNPKG

prism-code-editor

Version:

Lightweight, extensible code editor component for the web using Prism

github.com/jonpyt/prism-code-editor

jonpyt/prism-code-editor

6 lines (5 loc) • 183 B
1
2
3
4
5
6
import { s as languageMap } from "../core-E7btWBqK.js"; //#region src/languages/agda.ts languageMap.agda = { comments: { line: "--" } }; //#endregion //# sourceMappingURL=agda.js.map