Skip to content

robkorn/k-spacemacs-layer

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

4 Commits
 
 
 
 

Repository files navigation

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.

About

Spacemacs layer providing K support.

Topics

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published