GitHub repository: ConsenSys/highlightjs-dafny
Primary language: JavaScript
Created: 2021-09-22T05:48:47Z
Description: Dafny language grammar definition for highlight.js