peano-numbers

    7El calor

    2Respuesta

    estoy tratando de escribir una función toPeano :: Int -> Nat toPeano n = que convierte un entero en su número de Peano. que tienen los datos: data Nat = Zero | Succ Nat deriving Show