Final 05/05/2023 (Paradigmas)
De Cuba-Wiki
Cosas que recuerdo que me tomó: - de funcional, folds con una estructura arbitraria - de LC, correctitud, inferencia, fix - de lógico, resolución básica (diferencia binaria y general), lineal y SLD (hice un poco agua y decidió no indagar más XD) - de objetos, big step y definir una estructura (lista)
