diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2022-07-31 12:18:35 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2022-07-31 12:18:35 +0900 |
| commit | 2748b60171381526c45a0cca240dcbf72576bd97 (patch) | |
| tree | 9f2ea97904168bccb23325b720a5eada6d8d19f9 /Gentle_introduction_Inpla.md | |
| parent | a863c9a66eff6949f883da8e8bf927237b6e71ee (diff) | |
| download | inpla-2748b60171381526c45a0cca240dcbf72576bd97.tar.gz inpla-2748b60171381526c45a0cca240dcbf72576bd97.zip | |
Update Gentle_introduction_Inpla.md
Diffstat (limited to 'Gentle_introduction_Inpla.md')
| -rw-r--r-- | Gentle_introduction_Inpla.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Gentle_introduction_Inpla.md b/Gentle_introduction_Inpla.md index e2617d1..a3cbbe9 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; |