Highlight

[oxe-i]

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?).

[oxe-i]

It's been 5 days since we invited other maintainers to test our track. I believe we are very close to launching it.

What do you think we request code highlighting?

Right now we've been using Haskell's static code highlighting, but there is a highlight.js plugin for Lean. According to the instructions, we should open a topic on the forum requesting to add support for the plugin to the website.

As for dynamic code highlighting, there is no out-of-the-box support for Lean by CodeMirror and I couldn't find an existing plugin for it. Creating one such plugin also seems a non-trivial amount of work, found this old thread about it.

So maybe we should request to use Haskell's highlighting instead. It is not the same thing, but it is the closest option I could find.

[keiravillekode]

I am guessing the instructions were written when Exercism had more staff.

Yes, we can open the forum topic, but I also think we can launch if there is no visible progress for a week.

[oxe-i]

https://forum.exercism.org/t/lean-syntax-highlighting/31351