Using Hydra inside Strudel

You can write hydra code in strudel! All you have to do is to call await initHydra() at the top:

There is a special function H that allows you to use a pattern as an input to hydra:

You might now be able to see this properly here: open in REPL