Add syntax highlighting for [class] and [instance]

FStarLang / fstar-mode.el

Emacs support for F*

Apache License 2.0

67 stars 17 forks source link

Add syntax highlighting for [class] and [instance] #100

Closed jaybosamiya closed 5 years ago

jaybosamiya commented 5 years ago

Adds syntax highlighting for the class and instance keywords. It also makes them act like type in that the identifier right after them is highlighted.

screenshot from 2019-01-23 15-40-49

cpitclaudel commented 5 years ago

Great, thanks!