diff options
| author | Devine Lu Linvega <aliceffekt@gmail.com> | 2023-03-22 16:16:25 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-03-22 16:16:25 -0700 |
| commit | 04712ab469fdd1b54386b0620bb9a7afcdf8d5f5 (patch) | |
| tree | 4261d64446d64f8d78c30fdef658a11d2d20fb6e | |
| parent | e22f185705d3ba6c94e56248c8ac42714f63de31 (diff) | |
| download | inpla-04712ab469fdd1b54386b0620bb9a7afcdf8d5f5.tar.gz inpla-04712ab469fdd1b54386b0620bb9a7afcdf8d5f5.zip | |
Using both r and result in the various examples
Corrected two, but there are other instances where the operation is done using `r`, or `result` interchangeably.
| -rw-r--r-- | Gentle_introduction_Inpla.md | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Gentle_introduction_Inpla.md b/Gentle_introduction_Inpla.md index a1769dc..84bc2c2 100644 --- a/Gentle_introduction_Inpla.md +++ b/Gentle_introduction_Inpla.md @@ -176,7 +176,7 @@ Good! We get `S(S(S(Z)))` as the result of incrementation of `S(S(Z))` . To show the result as a natural number, use `prnat` command: ``` ->>> prnat result; +>>> prnat r; 3 >>> ``` @@ -213,7 +213,7 @@ Let's clean the result in case it could be used anywhere: (3 interactions, 0.00 sec) >>> r; S(S(S(Z))) - >>> prnat result; + >>> prnat r; 3 >>> free r; >>> @@ -846,4 +846,4 @@ In this reduction strategy, only connections that have interface names (thus, li b ->[2,<b1>... >>> - ```
\ No newline at end of file + ``` |