see https://github.com/ucsd-progsys/liquidhaskell#emacs