Guppy Feature Examples

This subsection documents some smaller Guppy examples under guppy_examples/guppy-features that highlight some supported features of Guppy for targeting H-series compatible QIR along with counterexamples.

Where possible, each page pairs a supported example with one or more nearby counterexamples that currently fail during QIR conversion. For unsupported cases, the expected error output is documented.

• Arrays
• Control Flow and Recursion
• Functions and Generics
• Data Types and Structs