I1M2010: Ejercicios de demostraciones de propiedades de funciones Haskell (relación 20)
En la clase de hoy de Informática de 1º del Grado en Matemáticas hemos comentado la resolución de ejercicios de las relación 20 en la que se demuestran por inducción propiedades de funciones Haskell.
Las soluciones de los ejercicios se muestran a continuación.
Read More “I1M2010: Ejercicios de demostraciones de propiedades de funciones Haskell (relación 20)”