Report - Tema 7: Razonamiento sobre programas - Programaci ...jalonso/cursos/pd/temas/tema-7.pdf · prop_doble_negacion x = not (not x) == x I Comprobación: *Main> quickCheck prop_doble_negacion

Please pass captcha verification before submit form