robkorn / k-spacemacs-layer

Spacemacs layer providing K support.

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.