diff options
Diffstat (limited to '')
| -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 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; |