synquid-mode

Write Synquid programs in Emacs!

Setup

• Add MELPA: put the following in your .emacs (if you don't have it yet):

  (require 'package)
  (add-to-list 'package-archives '("melpa" . "http://melpa.org/packages/") t)
  (package-initialize)

• Install the synquid package: M-x package-refresh-contents RET then M-x package-install RET synquid