•  CaffeLatteIV fix: aggiunto es gemini 4116cc6
  •  CaffeLatteIV lezione 31 03 2026 algebra dei tipi dcfbfcf