Edición de «Práctica 1 (Paradigmas)»
De Cuba-Wiki
Puedes deshacer la edición. Antes de deshacer la edición, comprueba la siguiente comparación para verificar que realmente es lo que quieres hacer, y entonces publica los cambios para así efectuar la reversión.
Revisión actual | Tu texto | ||
Línea 345: | Línea 345: | ||
-- infinity (\x -> (2*1+1 == x)) | -- infinity (\x -> (2*1+1 == x)) | ||
infinity :: Conj (Int -> Bool) | infinity :: Conj (Int -> Bool) | ||
infinity = \f -> f 3 | infinity = \f -> (if f 3 then True else False) | ||
=== IV === | === IV === |