Download
https://www.glc.us.es/~jalonso/calculemus/pruebas-de-length-xs-ys-length-xs-length-ys/
Pruebas de length (xs ++ ys) = length xs + length ys
Share