add install instructions for Spacemacs

FStarLang / fstar-mode.el

Emacs support for F*

Apache License 2.0

67 stars 17 forks source link

Closed ildyria closed 5 years ago

ildyria commented 6 years ago

Spacemacs does not allow the installation procedure as defined in the README. This aims to fill that gap.

ildyria commented 6 years ago

@cpitclaudel I updated the pull request with the instruction how to setup the layer.

cpitclaudel commented 5 years ago

I think this is stale; I'd still love to add spacemacs instructions (just two sentences pointing to the layer)