fstar-mode

Homepage: https://github.com/FStarLang/fstar-mode.el

Author: Clément Pit-Claudel

Updated: 2022-Jul-25

Summary

Support for F* programming

Commentary

This file implements support for F* programming in Emacs, including:

* Syntax highlighting
* Unicode math (prettify-symbols-mode)
* Documentation and search
* Relative indentation
* Outlining and selective display
* Type hints (Eldoc)
* Autocompletion (Company)
* Type-aware snippets (Yasnippet)
* Interactive proofs (à la Proof-General)
* Real-time verification (Flycheck)
* Remote editing (Tramp)

See https://github.com/FStarLang/fstar-mode.el for setup and usage tips.

Dependencies

• alert
• ansi-color
• cl-lib
• company
• company-quickhelp
• crm
• dash
• easymenu
• eldoc
• flycheck
• gdb-mi
• help-at-pt
• json
• let-alist
• notifications
• quick-peek
• replace
• tool-bar
• tramp
• tramp-sh
• yasnippet