appunti/Programmazione Funzionale/2021-05-24_2 Correttezza.pdf