We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 4548396 commit e03a6f1Copy full SHA for e03a6f1
README.md
@@ -6,3 +6,10 @@ This is a Spacemacs layer for K which provides syntax highlighting via k3-mode.
6
K3-Mode: https://github.com/kframework/k-editor-support/blob/master/emacs/k3-mode.el
7
8
9
+Installation
10
+==============
11
+ $ git clone https://github.com/robkorn/k-spacemacs-layer
12
+ $ cd k-spacemacs-layer
13
+ $ mv k-framework ~/.emacs.d/private/local
14
+
15
+Then simply add 'k-framework' as one of your configuration layers in your spacemacs config.
0 commit comments