mirror of
https://github.com/Funkoala14/knowledgebase_law.git
synced 2025-06-08 18:28:17 +08:00
44 lines
1.4 KiB
JavaScript
44 lines
1.4 KiB
JavaScript
|
import {
|
||
|
|
__commonJS
|
||
|
|
} from "./chunk-2TUXWMP5.js";
|
||
|
|
|
||
|
|
// node_modules/refractor/lang/agda.js
|
||
|
|
var require_agda = __commonJS({
|
||
|
|
"node_modules/refractor/lang/agda.js"(exports, module) {
|
||
|
|
module.exports = agda;
|
||
|
|
agda.displayName = "agda";
|
||
|
|
agda.aliases = [];
|
||
|
|
function agda(Prism) {
|
||
|
|
;
|
||
|
|
(function(Prism2) {
|
||
|
|
Prism2.languages.agda = {
|
||
|
|
comment: /\{-[\s\S]*?(?:-\}|$)|--.*/,
|
||
|
|
string: {
|
||
|
|
pattern: /"(?:\\(?:\r\n|[\s\S])|[^\\\r\n"])*"/,
|
||
|
|
greedy: true
|
||
|
|
},
|
||
|
|
punctuation: /[(){}⦃⦄.;@]/,
|
||
|
|
"class-name": {
|
||
|
|
pattern: /((?:data|record) +)\S+/,
|
||
|
|
lookbehind: true
|
||
|
|
},
|
||
|
|
function: {
|
||
|
|
pattern: /(^[ \t]*)(?!\s)[^:\r\n]+(?=:)/m,
|
||
|
|
lookbehind: true
|
||
|
|
},
|
||
|
|
operator: {
|
||
|
|
pattern: /(^\s*|\s)(?:[=|:∀→λ\\?_]|->)(?=\s)/,
|
||
|
|
lookbehind: true
|
||
|
|
},
|
||
|
|
keyword: /\b(?:Set|abstract|constructor|data|eta-equality|field|forall|hiding|import|in|inductive|infix|infixl|infixr|instance|let|macro|module|mutual|no-eta-equality|open|overlap|pattern|postulate|primitive|private|public|quote|quoteContext|quoteGoal|quoteTerm|record|renaming|rewrite|syntax|tactic|unquote|unquoteDecl|unquoteDef|using|variable|where|with)\b/
|
||
|
|
};
|
||
|
|
})(Prism);
|
||
|
|
}
|
||
|
|
}
|
||
|
|
});
|
||
|
|
|
||
|
|
export {
|
||
|
|
require_agda
|
||
|
|
};
|
||
|
|
//# sourceMappingURL=chunk-E5YKVOOD.js.map
|