RT @arntzenius: Diapositivas de mi presentación en HOPE 2025, "Programación funcional finita mediante efectos graduados y tipos t.co/Bb https://t.co/Bb…
Cargando el detalle del hilo
Obteniendo los tweets originales de X para ofrecer una lectura limpia.
Esto suele tardar solo unos segundos.