Add support for Lean
juanbelieni opened this issue · 0 comments
juanbelieni commented
Is there an existing issue for this?
- I have searched the existing issues
What is the missing lexer?
Lean is a functional programming language and a proof assistant.
According to the Lean Community Website, they are currently in the middle of switching from using Lean 3 to using Lean 4. Because of this, I propose to have the lean3 and lean4 lexers, and a lean lexer that will be a fallback to lean4.
In the Pygments languages page, it says that it has support for Lean, but I don't know yet how easy it is to port from Pygments to Chroma.
The reference manual for the language can be found here.