-
Notifications
You must be signed in to change notification settings - Fork 743
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
initial support for lean 3 #1798
Conversation
Thanks for this! I think you should add |
Also in case anyone else is hoping to use this in Jekyll before it's merged but is a ruby noob like me, you can add this line to your Gemfile:
and then run |
Thanks! Will do, the commit you linked also seems more complete in keyword + operators coverage. I can look into adding them (I'm quite new to Lean, so happy to go figure out examples for the other keywords). |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thank you for your contribution @kunigami ❤️ The PR looks good overall. I have left some suggestions. Please let me know what you think 🙏🏼
Can you add |
Thank you for your hard work @kunigami 🙇🏼 The PR looks great to me 🚀 |
Yay! Thanks for the review and support, @tancnle ! |
* initial support for lean 3 * incorporate keywords and operators from PR rouge-ruby#1019 * address comments * add keyword::type + other keywords
I'd like to add support to lean 3 (https://leanprover-community.github.io). I followed the instruction in
https://rouge-ruby.github.io/docs/file.LexerDevelopment.html
Verified that
runs without errors and did a visual check at http://localhost:9292/lean