coffee/coffee.pygments
Archived
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
This repository has been archived on 2024-06-20. You can view files and clone it, but you cannot make any changes to it's state, such as pushing and creating new issues, pull requests or comments.
coffee.pygments/tests/examplefiles/lean
History
Exact
Eric Wieser d5bfdd4cca
lean: correctly parse expressions nested within attributes (#1817)
2023-04-20 15:10:50 +02:00
..
test.lean lean: correctly parse expressions nested within attributes (#1817) 2023-04-20 15:10:50 +02:00
test.lean.output lean: correctly parse expressions nested within attributes (#1817) 2023-04-20 15:10:50 +02:00