GaloisInc.cryptol-language-server

Cryptol

Open VSX ↗
Total downloads
216
7d gain
216
Rolling weekly delta
Rating
- / 5
0 reviews
Version
0.1.3
Latest published

Activity

Extension trends

Manifest

Metadata

Namespace
GaloisInc
Name
cryptol-language-server
License
-
Homepage
https://github.com/GaloisInc/cryptol#readme
Repository
https://github.com/GaloisInc/cryptol.git
Reviews
0

Taxonomy

Categories

Programming Languages

Description

Language support for Cryptol

Archive

Release history

1 latest releases