Laboratorio

Las páginas oficiales de los lenguajes que usaremos en el curso:

http://www.haskell.org/

http://www.swi-prolog.org/

http://coq.inria.fr/ 

Lineamientos

La calificación, y para obtener el respectivo porcentaje de la calificación final de las prácticas de laboratorio, se deberán cumplir los siguientes lineamientos sin excepción alguna (a menos que se haya especificado lo contrario en la sesión de laboratorio respectiva a la práctica).

Notebooks

En esta sección puedes encontrar los notebooks que revisamos en clase como archivos .ipynb y .pdf