Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revisionBoth sides next revision
teaching:cc5115 [2020/02/10 12:56] – [Motivación y Objetivos] folmedoteaching:cc5115 [2020/02/10 12:59] – [Motivación y Objetivos] folmedo
Line 17: Line 17:
   * testear programas de manera automática, usando la librería QuickCheck.   * testear programas de manera automática, usando la librería QuickCheck.
  
-Para un listado más detallado de los temas abordados en el curso consultar el {{teaching:cc5115:programa_cc5115.pdf|programa del curso}}. Para una discusión más a fondo sobre la relevancia y beneficios de la programación funcional consultar el artículo {{teaching:whyofy.pdf|Why functional programming matters}}.+Para un listado más detallado de los temas abordados en el curso consultar el {{teaching:cc5115:programa_cc5115.pdf|programa del curso}}. Para una discusión más a fondo sobre la relevancia y beneficios de la programación funcional consultar el artículo {{teaching:cc5115:whyfp90.pdf|Why functional programming matters}}.