Buenas,
Quería consultar ya que no estoy seguro de lo que estoy haciendo.
Primero, mi solución fue utilizar Check y escribir el termino que representa el vector pedido (como en el ejercicio 8.1), eso es lo esperado?
Segundo, en cada "invocación" del add, es correcto escribir (0+1+..1) en el primer parámetro, o se debería escribir de otra forma? haciendo esto, lo que obtengo del check por ejemplo para el array de largo 4: : ArrayNat (0 + 1 + 1 + 1 + 1), eso es lo esperado?
Gracias
Saludos