From 0d242d39de1fe7df016109ef6ba4c06d6b6a669c Mon Sep 17 00:00:00 2001 From: Devine Lu Linvega Date: Wed, 22 Mar 2023 20:12:27 -0700 Subject: Update Gentle_introduction_Inpla.md --- Gentle_introduction_Inpla.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Gentle_introduction_Inpla.md') 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; -- cgit v1.2.3