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:

​