search

FStarLang / fstar-mode.el

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

Update README.md #86

Closed msprotz closed 6 years ago

cpitclaudel commented 6 years ago

Thanks