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 298: | Línea 298: | ||
=== I === | === I === | ||
foldNat :: (Integer -> Integer -> Integer) -> Integer -> Integer -> Integer | foldNat :: (Integer -> Integer -> Integer) -> Integer -> Integer -> Integer | ||
foldNat f x | foldNat f x 1 = x | ||
foldNat f x n = f x (foldNat f x (n-1)) | foldNat f x n = f x (foldNat f x (n-1)) | ||