Buenas tardes,
Han sido subidas las calificaciones del segundo parcial.
A la brevedad publicaremos los resultados finales, los que son definidos siguiendo las pautas que indica el programa de la asignatura:
https://www.fing.edu.uy/sites/default/files/cursos/2014/anexos/11350/Construcci%C3%B3n%20formal%20de%20programas%20en%20teor%C3%ADa%20de%20tipos_P2014.pdf
Saludos,
Carlos y Gustavo