diff options
| author | Devine Lu Linvega <aliceffekt@gmail.com> | 2023-03-22 20:12:27 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-03-22 20:12:27 -0700 |
| commit | 0d242d39de1fe7df016109ef6ba4c06d6b6a669c (patch) | |
| tree | 0b74a41b63d607a356ea13d15957582f63116ab9 | |
| parent | 216e67302e64720a4da3934bbf7844025d0c3a25 (diff) | |
| download | inpla-0d242d39de1fe7df016109ef6ba4c06d6b6a669c.tar.gz inpla-0d242d39de1fe7df016109ef6ba4c06d6b6a669c.zip | |
Update Gentle_introduction_Inpla.md
| -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; |