GitHub repository: ucsd-progsys/liquid-types-spacemacs
Primary language: Emacs Lisp
Created: 2015-03-14T17:22:51Z
Description: Spacemacs Layer for LiquidHaskell