Added support for emojis 😁

This commit is contained in:
elvis
2025-07-03 16:28:28 +02:00
parent e0a7c61baa
commit d419ebaafd
5 changed files with 20 additions and 8 deletions

View File

@ -1,4 +1,4 @@
Environment: [x = {a}.y, y =({a}.nill + {b}.nill)]
Environment: [x = {a}.🐶, 🐶 =({a}.nill + {b}.nill)]
Initial Entities: {a, b}
Context: [({a,b}.{a}.{a,c}.x + {a,b}.{a}.{a}.nil)]
Reactions: ([r: {a,b}, i: {c}, p: {b}])
Reactions: ([r: {a,b}, i: {c}, p: {b, 😵}])