Add web support.

smimram · Dec 12, 2024 · bc4d85c · bc4d85c
1 parent b284bc5
commit bc4d85c
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
diff --git a/web/examples.ml b/web/examples.ml
@@ -5,6 +5,7 @@ let curien = [%blob "../examples/curien.cccatt"]
 let birds = [%blob "../examples/birds.cccatt"]
 let linear = [%blob "../examples/linear.cccatt"]
 let category = [%blob "../examples/category.cccatt"]
+let monoidal = [%blob "../examples/monoidal.cccatt"]
 
 let get = function
   | "tests" -> tests
@@ -14,4 +15,5 @@ let get = function
   | "birds" -> birds
   | "linear" -> linear
   | "category" -> category
+  | "monoidal" -> monoidal
   | _ -> ""
diff --git a/web/index.html b/web/index.html
@@ -34,6 +34,7 @@ <h1>Typechecker</h1>
             <option value="curien">Categorical combinators</option>
             <option value="birds">Birds</option>
             <option value="category">Categories</option>
+            <option value="monoidal">Monoidal categories</option>
             <option value="linear">Linear λ-calculus</option>
             <option value="tests">Tests</option>
             <option value="implicit">Tests with implicit arguments</option>