search

FStarLang / fstar-mode.el

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

Added new keywords support #127

Closed hacklex closed 2 years ago

hacklex commented 2 years ago

Added support for calc blocks and introduce/eliminate/returns sugar.