Update Agda version in README.agda