Dafny language grammar definition for highlight.js.
Adapted from the "Usage" section of highlightjs-cypher.
Simply include the Highlight.js library in your webpage or Node app, then load this module.
Simply load the module after loading Highlight.js. You'll use the minified version found in the dist
directory. This module is just a CDN build of the language, so it will register itself as the Javascript is loaded.
<script type="text/javascript" src="/path/to/highlight.min.js"></script>
<script type="text/javascript" src="/path/to/highlightjs-dfny/dist/dafny.min.js"></script>
<script>hljs.highlightAll();</script>
This will find and highlight code inside of <pre><code>
tags; it tries to detect the language automatically. If automatic detection doesn’t work for you, or you simply prefer to be explicit, you can specify the language manually in the using the class attribute:
<pre><code class="language-dafny">...</code></pre>
<script type="text/javascript" src="https://cdn.jsdelivr.net/gh/ConsenSys/highlightjs-dafny/dist/dafny.min.js"></script>
For other usages see the official highlight.js documentation.
highlight-dafny is released under the Apache 2.0 license. See LICENSE file for details.
Roberto Saltini
Roberto Saltini
- The official site for the Highlight.js library is https://highlightjs.org/.
- The Highlight.js GitHub project: https://github.com/highlightjs/highlight.js
- Dafny GitHub repo: https://github.com/dafny-lang/dafny