experimental smart contract language - View it on GitHub