
-- laws
∀ (t :: Tile).
  cw (cw (cw (cw t))) = t

∀ (t :: Tile).
  ccw (cw t) = t

∀ (t :: Tile).
  cw (ccw t) = t

-- equational reasoning

  ccw t
= (via cw/cw/cw/cw)
  ccw (cw (cw (cw (cw t))))
= (via ccw/cw)
  cw (cw (cw t))

-}

-- flip H(orizontally)
flipH :: Tile -> Tile
flipH  = undefined

{-
∀ (
flipH :: Tile -> Tile
flipH  = undefined
flipH  = undefined