search

FStarLang / fstar-mode.el

Emacs support for F*
Apache License 2.0
67 stars 17 forks source link

Fixes to syntax headers #120

Closed mtzguido closed 4 years ago

mtzguido commented 4 years ago

Related to the very previous PR :)

We now have layered_effect as a header. Also, assume can be a header (instead of a qualifier) for top-level SMT assumes.

cpitclaudel commented 4 years ago

Thanks!