Post #1330077

I'm pleased, especially for our PhD student @aref_mz, that our paper "Generalized Decidability via Brouwer Trees" (https://arxiv.org/abs/2602.10844) with @aref_mz, @Nicolai_Kraus and @fnf was accepted to LICS'26. #Agda was very useful for developing this work. Huge thanks to its maintainers! My commiserations to those who submitted good work but didn't get in. I hope we can all escape this system one day.