From 05a3c1b30f078c31ee10fd59d48c9c403c55e3a5 Mon Sep 17 00:00:00 2001 From: Devine Lu Linvega Date: Sat, 6 Apr 2024 09:22:16 -0700 Subject: [PATCH] Use the fruit salad as an example --- examples/test.modal | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/examples/test.modal b/examples/test.modal index 39bf16d..9f87333 100644 --- a/examples/test.modal +++ b/examples/test.modal @@ -1,4 +1,5 @@ -<> ([a]) () -<> (a) ([a]) +<> (a) (apple) +<> (b) (banana) +<> (apple banana) (fruit salad) -(abc) \ No newline at end of file +a b \ No newline at end of file