A toy design-by-contract system for zepto - View it on GitHub