This workshop assumes that you have recently completed Tutorial.
In this workshop, we implement a timed English auction wherein a Seller auctions off the right for a Bidder to decide the argument to call a certain external contract method with. This demonstrates the use of collective operations in Reach with finite state.
This page is a placeholder for a future more detailed workshop. You could try to implement yourself though, given the sketch above!