From 2d6414699445a76e8ac7e6061849daae547393fe Mon Sep 17 00:00:00 2001
From: Marius Kern <mariusskern@gmail.com>
Date: Fri, 2 Aug 2024 15:40:30 +0200
Subject: [PATCH] Pyramid

---
 source/Scrolls/PyramidScroll.mmt | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/source/Scrolls/PyramidScroll.mmt b/source/Scrolls/PyramidScroll.mmt
index f012b3a..c486a68 100644
--- a/source/Scrolls/PyramidScroll.mmt
+++ b/source/Scrolls/PyramidScroll.mmt
@@ -6,8 +6,8 @@ theory PyramidScroll =
     meta ?MetaAnnotations?solutionTheory ?PyramidScroll/Solution ❙
 
     theory Problem =
-        T: Rectangle
-            ❘ meta ?MetaAnnotations?label "T"
+        R: Rectangle
+            ❘ meta ?MetaAnnotations?label "R"
             ❘ meta ?MetaAnnotations?description "Rectangle"
         ❙
         D: point
@@ -22,8 +22,8 @@ theory PyramidScroll =
         meta ?MetaAnnotations?label "Pyramid" ❙
         meta ?MetaAnnotations?description "Scrolls that takes a rectangle and a points and constructs a Pyramid." ❙
 
-        ConstructedPyramid : pyramidType
-                ❘ = (pyramidCons T D)
+        ConstructedPyramid : Pyramid
+                ❘ = (PyramidCons R D)
                 ❘ meta ?MetaAnnotations?label "Pyramid"
                 ❘ meta ?MetaAnnotations?description "The constructed Pyramid."
         ❙
-- 
GitLab