Synquid programming in Emacs!

For information about Synquid, visit
https://bitbucket.org/nadiapolikarpova/synquid