@@ -56,6 +56,11 @@ so you don't need to either.
5656
5757`:dip` is often used in parsers, but is not only for parsers.
5858
59+This can be thought of as user-defined function composition; instead of simply
60+nesting the gates in `q`, each is passed individually to `p` with the product
61+of the previous gate, allowing arbitrary filtering, transformation, or
62+conditional application.
63+
5964## Syntax
6065
6166Regular: *1-fixed*, then *running*.