diff options
| author | Juan Marin Noguera <juan@mnpi.eu> | 2022-12-05 14:46:20 +0100 |
|---|---|---|
| committer | Juan Marin Noguera <juan@mnpi.eu> | 2022-12-05 14:46:20 +0100 |
| commit | 1bddbc51a92e35ad6389310d62087654438027cf (patch) | |
| tree | bc47f241f88e315375c9c3056f94453caa630c82 | |
| parent | cd89ae4990047dd43770808746a42fd54b1724d3 (diff) | |
Erratas
| -rw-r--r-- | pia/n6.lyx | 29 |
1 files changed, 25 insertions, 4 deletions
@@ -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 |
