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://corp.galois.com/cryptol/

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