Write Synquid programs in Emacs!
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
thenM-x package-install RET synquid