diff options
author | David Luevano Alvarado <david@luevano.xyz> | 2023-05-01 09:35:25 -0600 |
---|---|---|
committer | David Luevano Alvarado <david@luevano.xyz> | 2023-05-01 09:35:25 -0600 |
commit | f797bb14f7413df2abac6326c6df769004e50aa1 (patch) | |
tree | 20850afbf9d45adbbcc6fc3a7aecedfa34db830c /pyssg.xyz/live/static/hl/languages/flix.min.js | |
parent | 127130ab909dac8886f45ec856f1d1bce3c7bcc0 (diff) |
small bugfix, add toc settings, update example site and delete unnecessary static assets
Diffstat (limited to 'pyssg.xyz/live/static/hl/languages/flix.min.js')
-rw-r--r-- | pyssg.xyz/live/static/hl/languages/flix.min.js | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/pyssg.xyz/live/static/hl/languages/flix.min.js b/pyssg.xyz/live/static/hl/languages/flix.min.js deleted file mode 100644 index 6e6d988..0000000 --- a/pyssg.xyz/live/static/hl/languages/flix.min.js +++ /dev/null @@ -1,9 +0,0 @@ -hljs.registerLanguage("flix",(()=>{"use strict";return e=>({name:"Flix", -keywords:{literal:"true false", -keyword:"case class def else enum if impl import in lat rel index let match namespace switch type yield with" -},contains:[e.C_LINE_COMMENT_MODE,e.C_BLOCK_COMMENT_MODE,{className:"string", -begin:/'(.|\\[xXuU][a-zA-Z0-9]+)'/},{className:"string",variants:[{begin:'"', -end:'"'}]},{className:"function",beginKeywords:"def",end:/[:={\[(\n;]/, -excludeEnd:!0,contains:[{className:"title", -begin:/[^0-9\n\t "'(),.`{}\[\]:;][^\n\t "'(),.`{}\[\]:;]+|[^0-9\n\t "'(),.`{}\[\]:;=]/ -}]},e.C_NUMBER_MODE]})})());
\ No newline at end of file |