A Cryptol major mode for Emacs.