6 lines
454 B
HTML
6 lines
454 B
HTML
<script src="//cdnjs.cloudflare.com/ajax/libs/highlight.js/11.9.0/highlight.min.js"></script>
|
|
<script src="//unpkg.com/highlightjs-copy/dist/highlightjs-copy.min.js"></script>
|
|
<script src="//cdnjs.cloudflare.com/ajax/libs/highlightjs-line-numbers.js/2.8.0/highlightjs-line-numbers.min.js"></script>
|
|
<script src="/js/libs/hljs-languages/julia.js"></script>
|
|
<script src="/js/libs/hljs-languages/ocaml.js"></script>
|
|
<script src="/js/libs/hljs.js"></script>
|