Tell us about capability-safety. Tell us about how you'll avoid plan interference. Tell us about about what makes this language fundamentally safe and not just hard-to-use.
A step in the right direction. I'm still waiting for a TLA+-like language where you can build proofs for high level custom properties like "Robust to some parts of the contract being indefinitely delayed".
Anyone know how to do mathematical operations on an Amount? I can't seem to do this ie:<p>amountRequired: Amount
amountNeeded: Amount<p>then...<p>verify amountRequired * 3 == amountNeeded<p>Any ideas?