Add Udl support for lean https://www.lean-lang.org/ which is a functional programming language which is mostly used for interactive theorem proving in mathematics https://leanprover-community.github.io/. This PR adds basic syntax highlighting support for Lean files.
Add Udl support for lean https://www.lean-lang.org/ which is a functional programming language which is mostly used for interactive theorem proving in mathematics https://leanprover-community.github.io/. This PR adds basic syntax highlighting support for Lean files.
The example file is from Lean mathlib https://github.com/leanprover-community/mathlib4/blob/master/Mathlib/FieldTheory/SeparableDegree.lean which is licensed under Apache 2.0.
Limitation: Lean programming language heavily uses Unicode characters, most of them cannot be highlight correctly in this PR.