search

GaloisInc / cryptol

Cryptol: The Language of Cryptography
https://galoisinc.github.io/cryptol/master/RefMan.html
BSD 3-Clause "New" or "Revised" License
1.14k stars 123 forks source link

[feature request] Emacs major mode for cryptol files #1427

Open pennyannn opened 2 years ago

pennyannn commented 2 years ago

Hi, I'm wondering if you could provide an Emacs major mode for cryptol? Minimal features like language syntax highlighting, indentation and etc would be great. I really like the saw-script major mode and I'm wondering if something similar could be provided for cryptol as well.

weaversa commented 2 years ago

@pennyannn So, it's a few years old, but there is one here: https://github.com/thoughtpolice/cryptol-mode

Would you be willing to give that a try and let us know your thoughts?