@@ -56,6 +56,11 @@ so you don't need to either.
57`:dip` is often used in parsers, but is not only for parsers.
57`:dip` is often used in parsers, but is not only for parsers.
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.
61Regular: *1-fixed*, then *running*.
66Regular: *1-fixed*, then *running*.