Buenas.
Hace dias que me tranque en el ejercicio 10 parte 1. No encuntro la forma de pasar de S (sum (S O) O) = S (S O). Alguna idea?
Hola.
La idea es usar la táctica rewrite, por ejemplo, para sum0; ya que:
sum (S O) O = (S O)
Saludos, Carlos
Gracias, me salio.