[Practico 3][Corrección]

[Practico 3][Corrección]

de Alejandro Sebastian Flocken Rodriguez -
Número de respuestas: 1

Hola Carlos, con respecto a la corrección me surgieron las siguientes dudas:

Vos decís "En 14 y 15 usa intros no permitidos (solo exact se podía)"

En el ejercicio 14:

El 314_1, 314_2 y 314_4 ya tienen el intro hecho en la letra y dice completar.

Te réferis al 314_3 que no tendría que haber hecho el intro?

Como se resuelve solo con exact sin hacer ningún intro?

Lo mismo en el ejercicio 15:

el 315_1 y 315_2 ya vienen en la letra con el intro.

Como se resuelve el 315_3 por ejemplo sin empezar con un intro?

Saludos

En respuesta a Alejandro Sebastian Flocken Rodriguez

Re: [Practico 3][Corrección]

de Carlos Luna -

Hola.

Si, me refiero a los ejercicios que no tienen intros (uno en el 14 y los últimos en el 15). 

Por ejemplo, la función identidad sobre un tipo A (fun x:A => x) es un término de prueba de A->A. Luego, el término de prueba que construye la táctica intro es una lambda abstracción.

Saludos Carlos