Dafny language grammar definition for highlight.js - View it on GitHub