4.17 Workshop: Race

This workshop assumes that you have recently completed Tutorial.

In this workshop, we implement the example of the race expression discussed in the guide section on races. This provides an introduction to races, as well as a cautionary tale on their danger.

This page is a placeholder for a future more detailed workshop. You could try to implement yourself though, given the sketch above! If you’d like to see a draft version of our code, please visit examples/race in our GitHub repository