Skip to content

Latest commit

 

History

History
73 lines (54 loc) · 1.98 KB

README.org

File metadata and controls

73 lines (54 loc) · 1.98 KB
Raw

:lang fstar

Description

This module adds F* support, powered by fstar-mode.el.

  • Syntax highlighting
  • Interactively process F* files one definition at a time
  • Query the running F* process to look up definitions, documentation, and theorems

Maintainers

  • @tchajed

Become a maintainer?

Module flags

This module has no flags.

Packages

  • doom-package:fstar-mode

Hacks

No hacks documented for this module.

Changelog

This module does not have a changelog yet.

Installation

Enable this module in your doom! block.

This module requires F*.

While fstar-mode supports the latest release of F*, you may have a better experience installing a more recent version from source.

macOS

brew install fstar

Arch Linux

fstar is available in the AUR:

yaourt -S fstar

Usage

🔨 This module has no usage documentation yet. Write some?

Configuration

🔨 This module has no configuration documentation yet. Write some?

Troubleshooting

Report an issue?

  • If you’re having trouble getting F* to start correctly, you may need to configure a few variables in fstar-mode; see its README for more details.

Frequently asked questions

This module has no FAQs yet. Ask one?

Appendix

🔨 This module has no appendix yet. Write one?