Twist is expressive enough to write out programs for well-known quantum algorithms and identify bugs in their implementations.