Fecha de publicación: 23-may-2017 14:29:27
En esta clase aprendimos un nuevo cuantificador: para todo. Es un predicado de orden superior llamado forall/2.
Luego vimos una nueva clase de individuos: los Functores.
Esto se explica los apuntes:
Y tienen la práctica en Mumuki:
También les dejamos el código de ejemplo con el que estuvimos trabajando en clase.