¿Podemos construir una lista infinita que cumpla con un bit predicado dado?
Si tenemos un predicado dado p :: [Bool] -> Bool que toma una lista infinita como parámetro y devuelve True o False basado en algunas condiciones desconocidas, y no tenemos idea de qué es este predicado. ¿Podemos calcular una función f :: ([Bool] -> Bool) -> [Bool] que tome dicho . . . Read more