Hi, You might have seen that we have done some work related to Undeclared. I did some slides to explain how it worked / how it works now / what remaining problems are / next step.

Thanks Marcus. I wasn't aware of all the complexity behind undeclareds. Cheers, Martín El mié, 20 dic 2023 a la(s) 12:34 p.m., Marcus Denker ( marcus.denker@inria.fr) escribió: > Hi, > > You might have seen that we have done some work related to Undeclared. > > I did some slides to explain how it worked / how it works now / what > remaining problems are / next step. > > > > >