Examples

Worked examples

Each one takes a model from its equations to a checked implementation, and says plainly which parts ddsdde does for you and which it does not.