inducción estructural de Haskell
Hola a todos, quiero preguntar si lo siguiente es una definición de inducción estructural o no. init xs = take (length xs – 1) xs init :: [a] -> [a] init (x :[]) = [] init (x : z : xs) = x : init (z : xs) También, ¿alguien . . . Read more