From eda7477ca2bfd46897b59e76c8de5ab1344a489e Mon Sep 17 00:00:00 2001
From: facundoy <facundoy@umich.edu>
Date: Sun, 2 Feb 2025 14:31:42 -0500
Subject: [PATCH] Added changes that were not saved

---
 src/haz3lweb/exercises/Tutorial.re            |  1 -
 .../examples/Tu_ComputingEquationally.ml      | 95 +------------------
 .../examples/Tu_ExpressiveProgramming.ml      |  1 -
 3 files changed, 2 insertions(+), 95 deletions(-)

diff --git a/src/haz3lweb/exercises/Tutorial.re b/src/haz3lweb/exercises/Tutorial.re
index 5cdd6e45da..e08f8b191e 100644
--- a/src/haz3lweb/exercises/Tutorial.re
+++ b/src/haz3lweb/exercises/Tutorial.re
@@ -473,7 +473,6 @@ let stitch_term = (eds: p('a)): stitched(TermItem.t) => {
   // Printf.printf("Wrapper: %b\n", eds.wrapper);
   // Printf.printf("Name: %s\n", eds.module_name);
   Printf.printf("Wrapper: %b\n", eds.wrapper);
-  Printf.printf("prompt: %s\n", eds.prompt);
 
   let user_impl_term = {
     eds.your_impl |> term_of |> wrap_filter(FilterAction.Step);
diff --git a/src/haz3lweb/exercises/examples/Tu_ComputingEquationally.ml b/src/haz3lweb/exercises/examples/Tu_ComputingEquationally.ml
index 2729515da4..df532525f0 100644
--- a/src/haz3lweb/exercises/examples/Tu_ComputingEquationally.ml
+++ b/src/haz3lweb/exercises/examples/Tu_ComputingEquationally.ml
@@ -34,102 +34,11 @@ let exercise : Tutorial.spec =
             backpack = [];
             relatives =
               {
-                siblings =
-                  ( [
-                      Tile
-                        {
-                          id = Id.mk ();
-                          label = [ "test"; "end" ];
-                          mold =
-                            {
-                              out = Exp;
-                              in_ = [ Exp ];
-                              nibs =
-                                ( { shape = Convex; sort = Exp },
-                                  { shape = Convex; sort = Exp } );
-                            };
-                          shards = [ 0; 1 ];
-                          children =
-                            [
-                              [
-                                Secondary
-                                  { id = Id.mk (); content = Whitespace " " };
-                                Tile
-                                  {
-                                    id = Id.mk ();
-                                    label = [ "answer" ];
-                                    mold =
-                                      {
-                                        out = Exp;
-                                        in_ = [];
-                                        nibs =
-                                          ( { shape = Convex; sort = Exp },
-                                            { shape = Convex; sort = Exp } );
-                                      };
-                                    shards = [ 0 ];
-                                    children = [];
-                                  };
-                                Secondary
-                                  { id = Id.mk (); content = Whitespace " " };
-                                Tile
-                                  {
-                                    id = Id.mk ();
-                                    label = [ "==" ];
-                                    mold =
-                                      {
-                                        out = Exp;
-                                        in_ = [];
-                                        nibs =
-                                          ( { shape = Concave 7; sort = Exp },
-                                            { shape = Concave 7; sort = Exp } );
-                                      };
-                                    shards = [ 0 ];
-                                    children = [];
-                                  };
-                                Secondary
-                                  { id = Id.mk (); content = Whitespace " " };
-                                Tile
-                                  {
-                                    id = Id.mk ();
-                                    label = [ "4" ];
-                                    mold =
-                                      {
-                                        out = Exp;
-                                        in_ = [];
-                                        nibs =
-                                          ( { shape = Convex; sort = Exp },
-                                            { shape = Convex; sort = Exp } );
-                                      };
-                                    shards = [ 0 ];
-                                    children = [];
-                                  };
-                                Secondary
-                                  { id = Id.mk (); content = Whitespace " " };
-                              ];
-                            ];
-                        };
-                      Tile
-                        {
-                          id = Id.mk ();
-                          label = [ ";" ];
-                          mold =
-                            {
-                              out = Exp;
-                              in_ = [];
-                              nibs =
-                                ( { shape = Concave 10; sort = Exp },
-                                  { shape = Concave 10; sort = Exp } );
-                            };
-                          shards = [ 0 ];
-                          children = [];
-                        };
-                      Secondary { id = Id.mk (); content = Whitespace "\n" };
-                    ],
-                    [ Grout { id = Id.mk (); shape = Convex } ] );
+                siblings = ([ Grout { id = Id.mk (); shape = Convex } ], []);
                 ancestors = [];
               };
             caret = Outer;
           };
-        hints = [ "Reread the question!" ];
+        hints = [];
       };
   }
diff --git a/src/haz3lweb/exercises/examples/Tu_ExpressiveProgramming.ml b/src/haz3lweb/exercises/examples/Tu_ExpressiveProgramming.ml
index 230ec26735..c9667ebae9 100644
--- a/src/haz3lweb/exercises/examples/Tu_ExpressiveProgramming.ml
+++ b/src/haz3lweb/exercises/examples/Tu_ExpressiveProgramming.ml
@@ -3,7 +3,6 @@ open Haz3lcore
 let exercise : Tutorial.spec =
   {
     title = "Expressive Programming";
-    (* description = ""; *)
     module_name = "Tu_ExpressiveProgramming";
     prompt =
       "You might not have realized it, but you wrote your first computer \