search

mortberg / cubicaltt

Experimental implementation of Cubical Type Theory
https://arxiv.org/abs/1611.02108
MIT License
571 stars 76 forks source link

Add more keywords for syntax highlighting #68

Closed vikraman closed 7 years ago

vikraman commented 7 years ago

I added some more keywords from Lex.x so that they are now highlighted. Fixes #61.

mortberg commented 7 years ago

I tried this as well, but I wasn't so happy with the way things looked afterwards. I was thinking that maybe on should have another syntax highlighting for the operations of the language (as opposed to things like data or module)? (In other words I think that things that appear on the top-level for defining things should have one color and things that appear to the right of an equal sign, like comp or transport should have another color)

@simhu : do you have any thoughts on this?

mortberg commented 7 years ago

I'm closing this as it is not really what we want, it would be nice if the special operations that occur in terms (like comp or transport) is colored different from toplevel special keywords (like data). I don't know how to make this work with the emacs syntax highlighting.