2024-04-01 00:50:27 +02:00
|
|
|
<script src="//cdnjs.cloudflare.com/ajax/libs/highlight.js/11.9.0/highlight.min.js"></script>
|
2023-04-24 12:34:28 +02:00
|
|
|
<script src="//unpkg.com/highlightjs-copy/dist/highlightjs-copy.min.js"></script>
|
2023-04-24 20:58:55 +02:00
|
|
|
<script src="//cdnjs.cloudflare.com/ajax/libs/highlightjs-line-numbers.js/2.8.0/highlightjs-line-numbers.min.js"></script>
|
2024-04-01 01:30:24 +02:00
|
|
|
<script src="/js/libs/hljs-languages/julia.js"></script>
|
|
|
|
|
<script src="/js/libs/hljs-languages/ocaml.js"></script>
|
2023-04-24 16:18:54 +02:00
|
|
|
<script src="/js/libs/hljs.js"></script>
|
