added remiaining tutorials. Added multiple to tutorials in the same f…

…iles for more cohesion
hazelgrove · Feb 3, 2025 · c33fac9 · c33fac9
1 parent eda7477
commit c33fac9
Show file tree

Hide file tree

Showing 5 changed files with 261 additions and 3 deletions.
diff --git a/...rcises/examples/Tu_ComposingArithmetic.ml → ...mples/Tu_ComposingArithmetic_and_Scope.ml b/...rcises/examples/Tu_ComposingArithmetic.ml → ...mples/Tu_ComposingArithmetic_and_Scope.ml
diff --git a/...ises/examples/Tu_ComputingEquationally.ml → ...amples/Tu_ComputingEquationally_Shadow.ml b/...ises/examples/Tu_ComputingEquationally.ml → ...amples/Tu_ComputingEquationally_Shadow.ml
diff --git a/src/haz3lweb/exercises/examples/Tu_More.ml b/src/haz3lweb/exercises/examples/Tu_More.ml
diff --git a/...z3lweb/exercises/examples/Tu_Variables.ml → ...ples/Tu_Variables_and_Compositionality.ml b/...z3lweb/exercises/examples/Tu_Variables.ml → ...ples/Tu_Variables_and_Compositionality.ml
diff --git a/src/haz3lweb/exercises/settings/TutorialSettings_base.re b/src/haz3lweb/exercises/settings/TutorialSettings_base.re
@@ -2,7 +2,12 @@ let filename = "haz3l-demo";
 let log_key = filename;
 let exercises: list(Tutorial.spec) = [
   Tu_ExpressiveProgramming.exercise,
-  Tu_ComposingArithmetic.exercise,
-  Tu_ComputingEquationally.exercise,
-  Tu_Variables.exercise,
+  Tu_ComposingArithmetic_and_Scope.exercise,
+  Tu_ComputingEquationally_Shadow.exercise,
+  Tu_Variables_and_Compositionality.exercise,
+  Tu_Variables_and_Compositionality.comp_exercise,
+  Tu_ComposingArithmetic_and_Scope.scope_exercise,
+  Tu_ComputingEquationally_Shadow.shadow_exercise,
+  Tu_More.bools_ex,
+  Tu_More.func_ex,
 ];