-
Notifications
You must be signed in to change notification settings - Fork 76
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
Bracket matching of \(x : A) #84
Comments
Indeed, I'm not an expert on emacs though... I think @david-christiansen added the cubical buffer for us? Maybe he knows how to get this to work? |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
In the cubicaltt emacs mode, the brackets in
\(x : A)
are correctly highlighted only in the source file, not in the *cubical* buffer (the first parenthesis is not considered as a parenthesis), which is annoying when trying to parse a complicated answer given by cubicaltt.The text was updated successfully, but these errors were encountered: