FStarLang / FStarLang/fstar-layer
Consistency with proof general?
Open
- Dominant language
- Emacs Lisp
- Stars
- 10
- Forks
- 5
- PR merge metrics
- No merged PRs in 30d
Description
Hey @kyoDralliam,,
Have you seen the recently merged [Coq layer](https://github.com/syl20bnr/spacemacs/blob/develop/layers/%2Blang/coq/packages.el#L68)? Maybe it would make sense to unify the keybindings that do roughly the same thing?
Also, should there be a link to this repo in the fstar-mode readme?
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.