My full hammerspoon config is a mix of things I've collected/written over the years, but the Miro-specific section is simply:

  -- window management
  hs.loadSpoon("MiroWindowsManager")
  -- set to 0.x for animation, 0 for none
  hs.window.animationDuration = 0.3

  spoon.MiroWindowsManager:bindHotkeys({
    up = { hyper, "k" },
    down = { hyper, "j" },
    left = { hyper, "h" },
    right = { hyper, "l" },
    fullscreen = { hyper, "f" },
    nextscreen = { hyper, "n" }
  })