Skip to content

Latest commit

 

History

History
23 lines (15 loc) · 792 Bytes

README.md

File metadata and controls

23 lines (15 loc) · 792 Bytes

K Spacemacs Layer

This is a Spacemacs layer for K which provides syntax highlighting via k3-mode.

K3-Mode: https://github.com/kframework/k-editor-support/blob/master/emacs/k3-mode.el

Key Bindings and Commands

Key Function
SPC m c Compile using Makefile

Installation

    $ git clone https://github.com/robkorn/k-spacemacs-layer
    $ cd k-spacemacs-layer 
    $ mv k-framework ~/.emacs.d/private/local

Then simply add 'k-framework' as one of your configuration layers in your spacemacs config.