Cryptol VScode plugin

A Visual Studio Code plugin for Cryptol

Features

Cryptol language tools

• syntax highlighting for Cryptol and SAW
• Run in cryptol command (ctrl-shift-c)
• Run selection in Cryptol command (ctrl-shift-e)
• Get type in Cryptol command (ctrl-shift-t)

Requirements

• Running the cryptol repl requires that cryptol be on your system path

Known Issues

Release Notes