fixed-point-reasoners/maze · Pirate Face