add demo derivation

hazelgrove · Oct 8, 2024 · 692c784 · 692c784
1 parent 1574e73
commit 692c784
Show file tree

Hide file tree

Showing 5 changed files with 1,260 additions and 0 deletions.
diff --git a/src/haz3lweb/ExerciseSettings_base.re b/src/haz3lweb/ExerciseSettings_base.re
@@ -4,6 +4,8 @@ let exercises: list(Exercise.spec) = [
   Ex_DerivationEmpty.exercise,
   Ex_DerivationEmpty2.exercise,
   Ex_DerivationEmpty3.exercise,
+  Ex_Closed_Substitution.exercise,
+  Ex_Type_Validation_Derivation.exercise,
   Ex_PairMap_Derivation.exercise,
   Ex_Curried_Function_Derivation.exercise,
   Ex_Shadowing_And_Closures.exercise,