Tic-tac-toe Game Development with Theseus: A Step-by-Step Tutorial Code for this tutorial is available in the .examples directory Walkthrough Part 0: FIRM Encapsulation, or "Why does Theseus exist?" Part I: Defining State Part II: Evolving State Part III: Refining State Part IV: EvolverComplex & RefineryComplex Part V: Theseus