cryptol-mode

This package provides a major mode for editing, compiling and
running Cryptol code.

For more information about Cryptol, check out the homepage and
documentation: http://www.cryptol.net/

For usage info, release notes and bugs, check the homepage.