diff --git a/Programmazione Funzionale/2021-03-25 Higher-order functions.pdf b/Programmazione Funzionale/2021-03-25 Higher-order functions.pdf
index a158126..49a9589 100644
Binary files a/Programmazione Funzionale/2021-03-25 Higher-order functions.pdf and b/Programmazione Funzionale/2021-03-25 Higher-order functions.pdf differ
diff --git a/Programmazione Funzionale/2021-05-24_1 Funzioni all'ordine superiore sulle liste.pdf b/Programmazione Funzionale/2021-05-24_1 Funzioni all'ordine superiore sulle liste.pdf
new file mode 100644
index 0000000..be475d7
Binary files /dev/null and b/Programmazione Funzionale/2021-05-24_1 Funzioni all'ordine superiore sulle liste.pdf differ
diff --git a/Programmazione Funzionale/2021-05-24_2 Correttezza.pdf b/Programmazione Funzionale/2021-05-24_2 Correttezza.pdf
new file mode 100644
index 0000000..93b52f6
Binary files /dev/null and b/Programmazione Funzionale/2021-05-24_2 Correttezza.pdf differ