aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJuan Marin Noguera <juan@mnpi.eu>2022-12-05 14:46:20 +0100
committerJuan Marin Noguera <juan@mnpi.eu>2022-12-05 14:46:20 +0100
commit1bddbc51a92e35ad6389310d62087654438027cf (patch)
treebc47f241f88e315375c9c3056f94453caa630c82
parentcd89ae4990047dd43770808746a42fd54b1724d3 (diff)
Erratas
-rw-r--r--pia/n6.lyx29
1 files changed, 25 insertions, 4 deletions
diff --git a/pia/n6.lyx b/pia/n6.lyx
index 1849c5e..7409398 100644
--- a/pia/n6.lyx
+++ b/pia/n6.lyx
@@ -83,18 +83,23 @@
\begin_layout Section
Operaciones sobre listas en
\family typewriter
+\lang english
Prelude
\end_layout
\begin_layout Standard
\family typewriter
+\lang english
map
\family default
+\lang spanish
aplica una función a todos los elementos de una lista y
\family typewriter
+\lang english
filter
\family default
+\lang spanish
selecciona los que cumplen una condición.
\end_layout
@@ -183,8 +188,10 @@ status open
\begin_layout Standard
\family typewriter
+\lang english
length
\family default
+\lang spanish
devuelve la longitud de una lista.
\end_layout
@@ -301,14 +308,20 @@ null (_:_) = False
\begin_layout Standard
\family typewriter
-take
+\lang english
+take
+\lang spanish
+
\emph on
n xs
\family default
\emph default
y
\family typewriter
-drop
+\lang english
+drop
+\lang spanish
+
\emph on
n xs
\family default
@@ -432,7 +445,11 @@ n xs
devuelve el
\family typewriter
\emph on
-n
+
+\begin_inset Formula $\text{\emph{\texttt{n}}}$
+\end_inset
+
+
\family default
\emph default
-ésimo elemento de
@@ -476,15 +493,19 @@ status open
\begin_layout Standard
\family typewriter
+\lang english
zip
\family default
+\lang spanish
junta dos listas en una cuya longitud es la mínima de la de las dos listas
y cuyos elementos son las tuplas de elementos correspondientes de ambas
listas.
\family typewriter
+\lang english
unzip
\family default
+\lang spanish
hace lo contrario.
\end_layout
@@ -553,7 +574,7 @@ z
xs
\family default
\emph default
-, luego al resultado y al segnudo elemento de
+, luego al resultado y al segundo elemento de
\family typewriter
\emph on
xs