Buenas,
Primero quería confirmar si donde pide definir los operadores se refiere a lo que se viene haciendo en partes anteriores (por ejemplo, en el caso de twice: Definition twice: (A->A)->A->A := fun f => fun x => f (f x)), o si hay que hacer otra cosa.
En caso de ser así, mi consulta es: ¿A qué se refiere en la parte 4 con que los operadores sean aplicables cualesquiera sean los conjuntos A, B y C? ¿Qué debería cambiar en mis definiciones para que se cumpla eso (asumiendo que no se cumple ya)?.
Muchas gracias.Saludos,
Bruno Lartigau