HAL∞