typestate examples
See the index of examples.
Run the following, with <name> replaced by the name of the example, e.g. door.
EXAMPLE_NAME="<name>" make run
To see rendered documentation, including the state machine diagrams typestate emits, run
make docs
Then navigate to the module corresponding to the name of one of the examples, e.g. door.
typestate's macro can generate diagrams.
make diagrams