fstar-mode

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

Author: Clément Pit-Claudel

Updated:

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