Usage

Command-line

To transcode an archetype file escrow.arl to michelson:

$ completium-cli generate michelson escrow.arl

To transcode to whyml:

$ completium-cli generate whyml escrow.arl

To transcode to javascript

$ completium-cli generate javascript escrow.arl

The generated javascript provides the Michelson (Json) version of the contract code and storage.

VS code extension

The archetype extension provides:

  • syntax highlighting

  • LSP support

  • transcoding commands

The archetype extension provides commands to compile to Michelson, and to launch the why3 IDE for verification: