Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | Next revisionBoth sides next revision | ||
teaching:cc4101:tareas:2016-2:tarea2 [2016/11/02 00:54] – [P1 - Estructuras Inductivas y Pattern Matching (2.0pt)] fmosso | teaching:cc4101:tareas:2016-2:tarea2 [2016/11/02 00:54] – [P3 - Análisis de Terminación (2.0pt)] fmosso | ||
---|---|---|---|
Line 176: | Line 176: | ||
- | ===== P3 - Análisis de Terminación (2.0pt) ===== | + | ===== P3 - Análisis de Terminación (3.0pt) ===== |
Tener un lenguaje donde los valores son estructuras inductivas permite detectar casos de recursión estructural, | Tener un lenguaje donde los valores son estructuras inductivas permite detectar casos de recursión estructural, |