Sistemas usados en "Programación declarativa" (2008-09)

En esta página se encuentran enlaces a los sistemas utilizados en en la asignatura "Programación declarativa". Se irán publicando conforme se vayan utilizando.

Los sitios oficiales de los sistemas son los siguientes

Se pueden instalar los sistemas en Ubuntu con el gestor de paquetes Synaptic, buscando los paquetes emacs, emacs22 y haskell-mode. Además, copiar en el directorio del usuario el fichero de configuración de emacs.

[ Inicial | Temas | Prácticas | Documentación | Sistemas | Exámenes ]

Universidad de Sevilla