Spacemacs Layer for LiquidHaskell
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
local
README.md
packages.el

README.md

liquid-types-spacemacs

Spacemacs Layer for LiquidHaskell

Install

Step 1 Install spacemacs

git clone --recursive http://github.com/syl20bnr/spacemacs ~/.emacs.d

Step 2 Add this layer to the private layers

git clone https://github.com/ucsd-progsys/liquid-types-spacemacs .emacs.d/private/liquid-types

Step 3 Activate the layer in your ~/.spacemacs

dotspacemacs-configuration-layers '(... syntax-checking haskell liquid-types)