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.

Sign up for GitHub

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

Jump to bottom

Support unicode syntax and fix some token types #1

Merged

fizruk merged 1 commit into main from unicode-syntax

Jul 10, 2023

Member

fizruk commented Jul 10, 2023

Support Unicode syntax (see Support some Unicode syntax rzk#61).
Fix some token types for better display (at least with MkDocs Material).


          Support unicode syntax and fix some token types

d361ac4

fizruk merged commit 9f26d07 into main

1 check passed

fizruk deleted the unicode-syntax branch

July 10, 2023 21:54

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet