highlightjs-gf

highlight.js syntax definition for the Grammatical Framework language