Execution

Archetype enables to get the Michelson (Tezos execution code) version of the contract, by transcoding the contract to the main high level languages available for Tezos : Ligo and Smartpy. Archetype may also transcode to Ocaml for unitary tests, and Markdown for contract documentation.