Cryptol for Visual Studio Code

Repository  |  Issues  |  Documentation

This extension provides support for working with Cryptol. To use the extension you'll need a pre-installed cryptol-language-server.

The exteions supports:

• Syntax highlighting
• View documentation when hovering over an identify
• Go to defintion
• Show type information for identifers and numeric literal