From 1a5c6d42ae78bdee74455fe6e9bef3f39c2d419a Mon Sep 17 00:00:00 2001
From: Shinya Sato <shinnya.sato@gmail.com>
Date: Sun, 31 Jul 2022 12:22:52 +0900
Subject: Update Gentle_introduction_Inpla.md

---
 Gentle_introduction_Inpla.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Gentle_introduction_Inpla.md b/Gentle_introduction_Inpla.md
index a3cbbe9..6d17461 100644
--- a/Gentle_introduction_Inpla.md
+++ b/Gentle_introduction_Inpla.md
@@ -207,6 +207,8 @@ Let's clean the result in case it could be used anywhere:
   ```
   The following is an execution example:
   ```
+  >>> add(ret, x) >< Z => ret~x;
+  >>> add(ret, x) >< S(y) => add(ret, S(x))~y;
   >>> add(r,S(Z))~S(S(Z));
   (3 interactions, 0.00 sec)
   >>> r;
-- 
cgit v1.2.3