Interactive execution for Ergo. Should support:
Ability to create contracts from other contracts/partially defined contracts/contracts+clauses etc.
Formally prove correct (part of) the Ergo compiler. I.e., the reference semantics is preserved.
Tezos DLT as a target for the Ergo compiler
Ethereum Virtual Machine as a target for the Ergo compiler.
WASM as a target for Ergo execution.
Corda as a compilation target for Ergo, generating code for execution directly on Corda.
Native Hyperledger Fabric 1.1 compilation, for execution of Ergo in-chain.
We should have a full formal semantics for Ergo, useful for documentation and future work on verification.
Support Java/JVM as a target for compiling/running Ergo