Highlight #12
Description
These are the docs for static and dynamic code highlighting in Exercism.
It seems Lean is supported by highlightjs via a third party library. This plugin is published on NPM.
In this case, I think that maybe we need to open a topic on the forum, according to the instructions.
As for dynamic highlighting, it seems there is no codemirror support and I haven't found any third-party plugin. We might consider the possibility of using the syntax highlighting for another language with a close syntax (maybe Haskell?).