mirror of
https://github.com/danog/telegram-tt.git
synced 2024-12-13 09:37:29 +01:00
1 line
10 KiB
Plaintext
1 line
10 KiB
Plaintext
|
{"version":3,"file":"6146.e892062054e79d879e6b.js","mappings":"sFA4bAA,EAAOC,QApbP,SAAaC,GA8ZX,MAAO,CACLC,KAAM,MACNC,SAAU,CACRC,QAhaa,CACf,MACA,KACA,KACA,QACA,OACA,MACA,SACA,UACA,MACA,MACA,SACA,MACA,KACA,KACA,KACA,MACA,QACA,MACA,OACA,SACA,MACA,OACA,OACA,QACA,QACA,OACA,QACA,QACA,MACA,QACA,WACA,MACA,YACA,cACA,QACA,OACA,SACA,YACA,OACA,YACA,YACA,KACA,QACA,QACA,UACA,QACA,WACA,YACA,aACA,cACA,aACA,WACA,UACA,aACA,cACA,WACA,SACA,aACA,eACA,UACA,YACA,eACA,MACA,UACA,UACA,aACA,UACA,eACA,YACA,SACA,OACA,QACA,MACA,WACA,OACA,UACA,cACA,eACA,WACA,SACA,YACA,SACA,UACA,aACA,OACA,QACA,SACA,OACA,WACA,QACA,MACA,OACA,WACA,aACA,gBACA,SACA,OACA,OACA,UACA,QACA,UACA,OACA,OACA,SACA,QACA,aACA,aACA,QACA,WACA,KACA,YACA,WACA,SACA,UACA,YACA,QACA,OACA,UACA,SACA,UACA,WACA,YACA,QACA,SACA,YACA,kBACA,WACA,OACA,QACA,MACA,YACA,UACA,OACA,WACA,QACA,SACA,OACA,KACA,OACA,SACA,UACA,cACA,WACA,OACA,WACA,WACA,aACA,cACA,SACA,OACA,WACA,UACA,YACA,aACA,aACA,OACA,QACA,UACA,cACA,UACA,QACA,WACA,UACA,cACA,QACA,cACA,MACA,MACA,OACA,MACA,SACA,YACA,WACA,WACA,SACA,SACA,UACA,WACA,QACA,UACA,UACA,UACA,QACA,OACA,QACA,OACA,SACA,QACA,SACA,SACA,SACA,cACA,aACA,gBACA,gBACA,UACA,WACA,MACA,SACA,OACA,QACA,SACA,OACA,aACA,WACA,YACA,WACA,QACA,SACA,SACA,OACA,OACA,UACA,OACA,UACA,cACA,OACA,cACA,QACA,YACA,OACA,UACA,YACA,SACA,WACA,YACA,QACA,WACA,QACA,WACA,YACA,UACA,UACA,aACA,QACA,QAqLEC,SAnLc,CAChB,WACA,SACA,QACA,QACA,QACA,KACA,SACA,aACA,KACA,OACA,cACA,aACA,SACA,SACA,SACA,KACA,OACA,UACA,MACA,MACA,SACA,iBACA,kBACA,QACA,YACA,QACA,UACA,UACA,aACA,YACA,cACA,aACA,gBACA,MACA,aACA,QACA,SACA,YACA,YACA,WACA,cACA,aACA,eACA,SACA,KACA,SACA,SACA,SACA,cACA,QACA,QACA,eACA,YACA,gBACA,QACA,SACA,UACA,aACA,aACA,QACA,OACA,WACA,SACA,WACA,WACA,SACA,eACA,SACA,OACA,QACA,eACA,UACA,SACA,UACA,OACA,QACA,iBACA,oBACA,QACA,aACA,MACA,OACA,UACA,aACA,aACA,eACA,QACA,UACA,WACA,MACA,QACA,KACA,YACA,YACA,cACA,QACA,gBACA,SACA,YACA,YACA,kBACA,UACA,SACA,SACA,OACA,OACA,MACA,MACA,OACA,iBACA,MACA,QACA,QACA,OACA,UACA,OACA,WACA,QACA,QACA,QACA,SACA,MACA,SACA,cACA,WACA,SACA,SACA,UACA,SACA,WACA,UACA,gBACA,QACA,OACA,gBACA,SACA,MACA,qBACA,iBACA,iBACA,kBACA,sBACA,SACA,mBACA,QACA,SACA,cACA,QACA,aACA,QACA,aACA,cACA,QACA,QACA,QACA,MACA,OACA,WACA,SACA,QACA,OACA,UACA,MACA,eACA,UACA,MACA,QACA,SACA,QACA,QACA,QACA,aACA,SAQAC,SAAU,CACRL,EAAKM,kBACLN,EAAKO,QAAQ,SAAU,UACvBP,EAAKQ,cACL,CACEC,UAAW,OACXC,cAAc,EACdC,MAAO,UACPC,IAAK,QAEP,CACED,MAAO","sources":["webpack://telegram-t/./node_modules/highlight.js/lib/languages/coq.js"],"sourcesContent":["/*\nLanguage: Coq\nAuthor: Stephan Boyer <stephan@stephanboyer.com>\nCategory: functional\nWebsite: https://coq.inria.fr\n*/\n\n/** @type LanguageFn */\nfunction coq(hljs) {\n const KEYWORDS = [\n \"_|0\",\n \"as\",\n \"at\",\n \"cofix\",\n \"else\",\n \"end\",\n \"exists\",\n \"exists2\",\n \"fix\",\n \"for\",\n \"forall\",\n \"fun\",\n \"if\",\n \"IF\",\n \"in\",\n \"let\",\n \"match\",\n \"mod\",\n \"Prop\",\n \"return\",\n \"Set\",\n \"then\",\n \"Type\",\n \"using\",\n \"where\",\n \"with\",\n \"Abort\",\n \"About\",\n \"Add\",\n \"Admit\",\n \"Admitted\",\n \"All\",\n \"Arguments\",\n \"Assumptions\",\n \"Axiom\",\n \"Back\",\n \"BackTo\",\n \"Backtrack\",\n \"Bind\",\n \"Blacklist\",\n \"Canonical\",\n \"Cd\",\n \"Check\",\n \"Class\",\n \"Classes\",\n \"Close\",\n \"Coercion\",\n \"Coercions\",\n \"CoFixpoint\",\n \"CoInductive\",\n \"Collection\",\n \"Combined\",\n \"Compute\",\n \"Conjecture\",\n \"Conjectures\",\n \"Constant\",\n \"constr\",\n \"Constraint\",\n \"Constructors\",\n \"Context\",\n \"Corollary\",\n \"CreateHintDb\",\n \"Cut\",\n \"Declare\",\n \"Defined\",\n \"Definition\",\n \"Delimit\",\n \"Dependencies\",\n \"Dependent\",\n \"Derive\",\n \"Drop\",\n \"eauto\",\n \"End\",\n \"Equality\",\n \"Eval\",\n \"Example\",\n \"Existential\",\n \"Existentials\",\n \"Existing\",\n \"Export\",\n \"exporting\",\n \"Extern\",\n \"Extract\",\n \"Extraction\",\n \
|