From 04712ab469fdd1b54386b0620bb9a7afcdf8d5f5 Mon Sep 17 00:00:00 2001 From: Devine Lu Linvega Date: Wed, 22 Mar 2023 16:16:25 -0700 Subject: 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. --- Gentle_introduction_Inpla.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'Gentle_introduction_Inpla.md') 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,... >>> - ``` \ No newline at end of file + ``` -- cgit v1.2.3