Henrik Lissner 88844e9cec docs: simplify internal docs links

Fewer links means less confusion.

- Merge doom-issue and doom-commit links into doom-ref (for auto-linking
  Issue/PR/commit references).
- Merge doom-module-source and doom-docs-source links into doom-source.
- Rename doom-report-issue to doom-report.
- Use '!' as the icon for module issues link.
- Remove doom-repo (replaced with "doom:*" in :lang org module).
- Add doomdir and emacsdir links to :lang org module.

2021-11-21 20:04:28 +01:00

2.3 KiB

Raw Blame History

:lang fstar

Description
- Maintainers
- Module flags
- Packages
- Hacks
- Changelog
Installation
- macOS
- Arch Linux
Usage
Configuration
Troubleshooting
Frequently asked questions
Appendix

← Back to module index ! Issues ↖ Github ± Suggest edits ? Help

Description unfold

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

fstar-mode

Hacks

No hacks documented for this module.

TODO 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

TODO Usage

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

TODO 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?

TODO Appendix

🔨 This module has no appendix yet. Write one?

2.3 KiB Raw Blame History