aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorStewart Stewart <stewinsalot@gmail.com>2015-08-11 15:51:05 -0700
committerStewart Stewart <stewinsalot@gmail.com>2015-08-11 16:04:06 -0700
commit2252b9ee8284630008f1622cd6d7cccf07680a97 (patch)
tree2bece6ddf3187b40314a73b96e4ed7b8b096ce4b
parented7cb7df9d52f88e94ecf5996c43fb534a2624c9 (diff)
parent1199db4570c368c7788aabdfe4fdc435d6e41aa4 (diff)
downloadspn-combinatory-logic-2252b9ee8284630008f1622cd6d7cccf07680a97.tar.gz
spn-combinatory-logic-2252b9ee8284630008f1622cd6d7cccf07680a97.tar.bz2
spn-combinatory-logic-2252b9ee8284630008f1622cd6d7cccf07680a97.zip
Merge branch 'master' of https://github.com/drivergroup/spn-combinatory-logic
-rw-r--r--README.md11
1 files changed, 6 insertions, 5 deletions
diff --git a/README.md b/README.md
index 88e9705..9918940 100644
--- a/README.md
+++ b/README.md
@@ -5,8 +5,10 @@
<atom> ::= <constant> | <variable>
<combination> ::= (<term><term>)
-eg. constants: **I, K, S,** etc.\
-eg. variables: _x, y, z_\
+eg. constants: **I, K, S,** etc.
+
+eg. variables: _x, y, z_
+
eg. combination: **I**_x_, _yz_, ((_yz_)(**I**_x_))
Given distinct terms `p, q, r, s`, the following properties hold:
@@ -43,9 +45,8 @@ The term `S(KS)Kpqr` reduces as follows:
```
S(KS)Kpqr
-S(KS)Kpq
-KSp(Kp)q
-S(Kp)q
+KSp(Kp)qr
+S(Kp)qr
S(Kp)qr
Kpr(qr)
p(qr)