Skip to content
Snippets Groups Projects
Commit 2d641469 authored by mariuskern's avatar mariuskern
Browse files

Pyramid

parent d3abe71a
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
source/Scrolls/PyramidScroll.mmt
+ 4
− 4
View file @ 2d641469
...@@ -6,8 +6,8 @@ theory PyramidScroll = ...@@ -6,8 +6,8 @@ theory PyramidScroll =
meta ?MetaAnnotations?solutionTheory ?PyramidScroll/Solution ❙ meta ?MetaAnnotations?solutionTheory ?PyramidScroll/Solution ❙
theory Problem = theory Problem =
T: Rectangle R: Rectangle
❘ meta ?MetaAnnotations?label "T" ❘ meta ?MetaAnnotations?label "R"
❘ meta ?MetaAnnotations?description "Rectangle" ❘ meta ?MetaAnnotations?description "Rectangle"
❙ ❙
D: point D: point
...@@ -22,8 +22,8 @@ theory PyramidScroll = ...@@ -22,8 +22,8 @@ theory PyramidScroll =
meta ?MetaAnnotations?label "Pyramid" ❙ meta ?MetaAnnotations?label "Pyramid" ❙
meta ?MetaAnnotations?description "Scrolls that takes a rectangle and a points and constructs a Pyramid." ❙ meta ?MetaAnnotations?description "Scrolls that takes a rectangle and a points and constructs a Pyramid." ❙
ConstructedPyramid : pyramidType ConstructedPyramid : Pyramid
❘ = (pyramidCons T D) ❘ = (PyramidCons R D)
❘ meta ?MetaAnnotations?label "Pyramid" ❘ meta ?MetaAnnotations?label "Pyramid"
❘ meta ?MetaAnnotations?description "The constructed Pyramid." ❘ meta ?MetaAnnotations?description "The constructed Pyramid."
❙ ❙
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment