diff options
author | Stewart Stewart <stewinsalot@gmail.com> | 2015-08-11 15:51:05 -0700 |
---|---|---|
committer | Stewart Stewart <stewinsalot@gmail.com> | 2015-08-11 16:04:06 -0700 |
commit | 2252b9ee8284630008f1622cd6d7cccf07680a97 (patch) | |
tree | 2bece6ddf3187b40314a73b96e4ed7b8b096ce4b | |
parent | ed7cb7df9d52f88e94ecf5996c43fb534a2624c9 (diff) | |
parent | 1199db4570c368c7788aabdfe4fdc435d6e41aa4 (diff) | |
download | spn-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.md | 11 |
1 files changed, 6 insertions, 5 deletions
@@ -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) |