Report - Programación declarativa (2008--09) - Tema 5: Razonamiento ...jalonso/cursos/pd-08/temas/tema-5.pdf · prop_asociatividad_conc xs ys zs = xs++(ys++zs)==(xs++ys)++zs Main> quickCheck

Please pass captcha verification before submit form