Hola, estoy cursando esta asignatura de manera no presencial, y quería saber la definición de la función implies que según la letra del práctico 1 fue definida en el curso (usada en el ejercicio 5.c).
Saludos.
Hola, se encuentra en la transparencia de "Implicancias" en la clase de Correctitud y Testing.
El código (sin azúcar sintáctico) es:
implies :: Bool -> Bool -> Bool
implies x y = not x or y
saludos