RedPRL / redtt

"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory
Apache License 2.0
204 stars 12 forks source link

Vim highlighting weirdness #403

Closed favonia closed 1 year ago

favonia commented 6 years ago

Although this is not crucial, I could not figure out why it does not work as it is. The current Vim highlighting fails to highlight def in the following case:

/--/def

However, it works for this one:

/--/ def

Why does the space matter? @cangiuli

Another thing is /-/-/ should be a self-contained comment.