Synquid programming in Emacs! For information about Synquid, visit https://bitbucket.org/nadiapolikarpova/synquid