Add sladmit to highlighted risky keywords list - Githubissues

FStarLang / fstar-mode.el

Emacs support for F*

Apache License 2.0

67 stars 17 forks source link

Add sladmit to highlighted risky keywords list #126

Closed cmovcc closed 2 years ago

cmovcc commented 2 years ago

See #125 . Thanks a lot for maintaining the fstar-mode !

cpitclaudel commented 2 years ago

Thanks!