The Simple Exchange contract for learning Agoric's Zoe - View it on GitHub