diff options
Diffstat (limited to '')
| -rw-r--r-- | Gentle_introduction_Inpla.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Gentle_introduction_Inpla.md b/Gentle_introduction_Inpla.md index 8a06a39..1ad95fd 100644 --- a/Gentle_introduction_Inpla.md +++ b/Gentle_introduction_Inpla.md @@ -210,7 +210,7 @@ Let's clean the result in case it could be used anywhere: >>> 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) + (2 interactions, 0.00 sec) >>> r; S(S(S(Z))) >>> prnat r; |