Archetype language
Language dedicated to smart contract definition and specification
The archetype language is a DSL to define smart contracts. This section presents the main features of the language.
The language provides the basic contract features to:
exchange currency between accounts
define data and collection of assets
formalise contract properties (as state machine and/or as logical properties)
Last updated 7 months ago