/tests/lexers/lean/

• ../
• example.txt