diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2022-07-31 12:23:05 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2022-07-31 12:23:05 +0900 |
| commit | 06779327c9340ae9f3ca35346af8f68a11e6622d (patch) | |
| tree | 3a7be9ee8152cbbe1a292a12a1e5c795148e8da8 /Gentle_introduction_Inpla.md | |
| parent | 553a2511ae4309645190a2902100f0226d949fec (diff) | |
| parent | 1a5c6d42ae78bdee74455fe6e9bef3f39c2d419a (diff) | |
| download | inpla-06779327c9340ae9f3ca35346af8f68a11e6622d.tar.gz inpla-06779327c9340ae9f3ca35346af8f68a11e6622d.zip | |
Merge branch 'develop'
Diffstat (limited to 'Gentle_introduction_Inpla.md')
| -rw-r--r-- | Gentle_introduction_Inpla.md | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Gentle_introduction_Inpla.md b/Gentle_introduction_Inpla.md index e2617d1..6d17461 100644 --- a/Gentle_introduction_Inpla.md +++ b/Gentle_introduction_Inpla.md @@ -162,6 +162,8 @@ For agents can work as constructors and de-constructors, it could be good to use Let's take the result of the increment operation for `S(S(Z))`: ``` +>>> inc(r) >< Z => r~S(Z); +>>> inc(r) >< S(x) => r~S(S(x)); >>> inc(r)~S(S(Z)); (1 interactions, 0.01 sec) >>> r; @@ -205,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; |