From bdae5b925969ec0fc3a360d35d4071fd00daeda9 Mon Sep 17 00:00:00 2001 From: Devine Lu Linvega Date: Wed, 22 Mar 2023 20:16:56 -0700 Subject: Update Gentle_introduction_Inpla.md --- Gentle_introduction_Inpla.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Gentle_introduction_Inpla.md b/Gentle_introduction_Inpla.md index 1ad95fd..b2455f9 100644 --- a/Gentle_introduction_Inpla.md +++ b/Gentle_introduction_Inpla.md @@ -281,7 +281,7 @@ There are built-in rules for the same built-in agents that each element is match ``` >>> [y1, y2, y3]~[Z, S(Z), S(S(Z))]; - (1 interactions, 0.00 sec) + (4 interactions, 0.00 sec) >>> y1 y2 y3; Z S(Z) S(S(Z)) >>> free y1 y2 y3; -- cgit v1.2.3