diff --git a/Programmazione Funzionale/2021-04-29 Tipi generici.pdf b/Programmazione Funzionale/2021-04-29 Tipi generici.pdf
index 58604e9..66729e8 100644
Binary files a/Programmazione Funzionale/2021-04-29 Tipi generici.pdf and b/Programmazione Funzionale/2021-04-29 Tipi generici.pdf differ
diff --git a/Programmazione Funzionale/2021-05-06 Type bounds e varianza.pdf b/Programmazione Funzionale/2021-05-06 Type bounds e varianza.pdf
index cef46ff..4721663 100644
Binary files a/Programmazione Funzionale/2021-05-06 Type bounds e varianza.pdf and b/Programmazione Funzionale/2021-05-06 Type bounds e varianza.pdf differ
diff --git a/Programmazione Funzionale/2021-05-10_1 Raffinamenti di List.pdf b/Programmazione Funzionale/2021-05-10_1 Raffinamenti di List.pdf
new file mode 100644
index 0000000..4ccee83
Binary files /dev/null and b/Programmazione Funzionale/2021-05-10_1 Raffinamenti di List.pdf differ
diff --git a/Programmazione Funzionale/2021-05-10_2 Problema della decomposizione.pdf b/Programmazione Funzionale/2021-05-10_2 Problema della decomposizione.pdf
new file mode 100644
index 0000000..3c5d606
Binary files /dev/null and b/Programmazione Funzionale/2021-05-10_2 Problema della decomposizione.pdf differ