Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |||
| teaching:cc4101:tareas:2019-1:tarea1 [2020/04/13 12:39] – [Tarea 1 (Entrega: 28 de abril de 2019)] kmaillard | teaching:cc4101:tareas:2019-1:tarea1 [2020/04/13 12:39] (current) – [Tarea 1 (Entrega: 28 de abril de 2019)] kmaillard | ||
|---|---|---|---|
| Line 9: | Line 9: | ||
| **¡Los tests, los contratos y las descripciones forman parte de su evaluación!** | **¡Los tests, los contratos y las descripciones forman parte de su evaluación!** | ||
| - | [[teaching: | + | |
| ===== 1. Funciones de primera clase con tipos declarados [1.5pt] ===== | ===== 1. Funciones de primera clase con tipos declarados [1.5pt] ===== | ||
| En esta tarea agregaremos anotaciones de tipos a un lenguaje con funciones de primera clase. La sintaxis concreta del lenguaje es la mostrada a continuación: | En esta tarea agregaremos anotaciones de tipos a un lenguaje con funciones de primera clase. La sintaxis concreta del lenguaje es la mostrada a continuación: | ||