From bc4d85c538d7eb111a740706851b5faa7e24282c Mon Sep 17 00:00:00 2001
From: Samuel Mimram <smimram@gmail.com>
Date: Thu, 12 Dec 2024 12:39:01 +0100
Subject: [PATCH] Add web support.

---
 web/examples.ml | 2 ++
 web/index.html  | 1 +
 2 files changed, 3 insertions(+)

diff --git a/web/examples.ml b/web/examples.ml
index aefb46d..e4bf131 100644
--- 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
index 56a688d..34ca54f 100644
--- 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>