cryptol-mode

Homepage: http://github.com/thoughtpolice/cryptol-mode

Updated:

Summary

Cryptol major mode for Emacs

Commentary

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.

Dependencies