From 1bddbc51a92e35ad6389310d62087654438027cf Mon Sep 17 00:00:00 2001
From: Juan Marin Noguera <juan@mnpi.eu>
Date: Mon, 5 Dec 2022 14:46:20 +0100
Subject: Erratas

---
 pia/n6.lyx | 29 +++++++++++++++++++++++++----
 1 file 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
-- 
cgit v1.2.3