diff --git a/papers/CPP21.md b/papers/CPP21.md index a8ba65c63df9b3229f5b2157a9fc5ac45b811f16..ce73e3b2ee84d8da7fb11e49b4853cdc855bcac4 100644 --- a/papers/CPP21.md +++ b/papers/CPP21.md @@ -1,3 +1,6 @@ +The state of the repository at the time of submission can be found at +[https://gitlab.mpi-sws.org/iris/actris/-/tree/cpp21](https://gitlab.mpi-sws.org/iris/actris/-/tree/cpp21) + # Code corresponding to the paper All code corresponding to the paper can be found in the directory