HAL in readme