2026-02-18

• Un breve repaso sobre Cálculo λ y Haskell.
• Conjuntos, Proposiciones y Tipos.
• Ejercicios