app-emacs/fstar-mode
Support for F* programming
Screenshots
-
fstar-mode-0.9.4.0~amd64 ~x86
View 
Download 
Browse License: Overlay: melpa-stable
Runtime Dependencies
fstar-mode-20240312.1632
app-emacs/dash
app-emacs/company
app-emacs/quick-peek
app-emacs/yasnippet
app-emacs/flycheck
app-emacs/company-quickhelp
>=app-editors/emacs-25.3:*
app-emacs/company
app-emacs/quick-peek
app-emacs/yasnippet
app-emacs/flycheck
app-emacs/company-quickhelp
>=app-editors/emacs-25.3:*