search

thoughtpolice / cryptol-mode

A Cryptol major mode for Emacs.
https://www.cryptol.net
GNU General Public License v3.0
16 stars 6 forks source link

Updates to match cryptol-2 lexer/parser #23

Closed brianhuffman closed 5 years ago

brianhuffman commented 5 years ago

These changes update cryptol-mode to match the current cryptol-2 lexical conventions for identifiers and operator names.