From d37c6b0808fed6e26702751e7eed19d50f5b195f Mon Sep 17 00:00:00 2001
From: tiago <tiagao2001@hotmail.com>
Date: Wed, 25 Jan 2023 22:00:31 +0000
Subject: [PATCH] carpets sem reverse

---
 cp2223t/cp2223t.lhs | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/cp2223t/cp2223t.lhs b/cp2223t/cp2223t.lhs
index dc72ba6..91a25e3 100644
--- a/cp2223t/cp2223t.lhs
+++ b/cp2223t/cp2223t.lhs
@@ -1391,7 +1391,7 @@ representado por |(A^*)^*| e adicionar conteúdo do nodo, representado por |A| 
 
 Componentes da função |constructSierp|:
 \begin{code}
-carpets = reverse . anaList gcarp
+carpets = anaList gcarp
 
 gcarp = (id -|- (split (curry sierpinski ((0,0),32)) id)) . outNat
 \end{code}
@@ -1419,13 +1419,11 @@ Para definir o gene |gcar|, primeiro aplico |outNat|. Caso este seja 0, simplesm
 caso contrário, cria um par com a lista dos quadrados resultantes da função |curry sierpinski ((0,0),32)| para 
 esse número, e o número.
 
-Como a lista originada pelo anamorfismo está por ordem decrescente, aplico a função reverse.
-
 \begin{code}
 present = cataList gprst
 
 gprst = either (return . nil) (alpha . (((>> await) . drawSq) >< id)) where
-    alpha (x,y) = do {a <- x ; b <- y ; return (a:b)}
+    alpha (x,y) = do {b <- y ; a <- x ; return (a:b)}
 \end{code}
 \begin{eqnarray*}
 \xymatrix@@C=2cm{