emojis for roundtrip sandwich

VariantSync · Jul 3, 2024 · f9d092a · f9d092a
1 parent b296a8e
commit f9d092a
Showing 1 changed file with 8 additions and 8 deletions.
diff --git a/src/Test/Experiments/RoundTrip.agda b/src/Test/Experiments/RoundTrip.agda
@@ -98,23 +98,23 @@ ex-trivial = "trivial" ≔ "D" ⟨ "l" -< [] >- ∷ "r" -< [] >- ∷ [] ⟩
 
 ex-sandwich : Example (CCC Feature ∞ Artifact)
 ex-sandwich = "Sandwich Recipe" ≔
-  "Bread"
+  "🍞"
     -< "Salad?"
-         ⟨ "salad" -< [] >-
+         ⟨ "🥗" -< [] >-
          ∷ "ε" -< [] >-
          ∷ []
          ⟩
-    ∷  "cheese" -< [] >-
+    ∷  "🧀" -< [] >-
     ∷  "Patty?"
-         ⟨ "meat" -< [] >-
-         ∷ "tofu" -< [] >-
+         ⟨ "🍖" -< [] >-
+         ∷ "🧆" -< [] >-
          ∷ []
          ⟩
     ∷  "Sauce?"
          ⟨ "ε" -< [] >-
-         ∷ "mayo" -< [] >-
-         ∷ "ketchup" -< [] >-
-         ∷ "mayo+ketchup" -< [] >-
+         ∷ "🥚" -< [] >-
+         ∷ "🍅" -< [] >-
+         ∷ "🍅🥚" -< [] >-
          ∷ []
          ⟩
     ∷ []