diff options
author | Stewart Stewart <stewinsalot@gmail.com> | 2015-08-11 16:15:13 -0700 |
---|---|---|
committer | Stewart Stewart <stewinsalot@gmail.com> | 2015-08-11 16:15:13 -0700 |
commit | 29937e424c53ed5a2c269bf490e63c17ee5e5cc2 (patch) | |
tree | 513e546d852a443a6e38f0da859e93d34438a032 | |
parent | 2252b9ee8284630008f1622cd6d7cccf07680a97 (diff) | |
download | spn-combinatory-logic-29937e424c53ed5a2c269bf490e63c17ee5e5cc2.tar.gz spn-combinatory-logic-29937e424c53ed5a2c269bf490e63c17ee5e5cc2.tar.bz2 spn-combinatory-logic-29937e424c53ed5a2c269bf490e63c17ee5e5cc2.zip |
Step-by-Step reduction test to match example
-rw-r--r-- | src/test/scala/Tests.scala | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/test/scala/Tests.scala b/src/test/scala/Tests.scala index 1c28875..2b7e465 100644 --- a/src/test/scala/Tests.scala +++ b/src/test/scala/Tests.scala @@ -102,10 +102,8 @@ object Tests extends TestSuite { "step by step reduction"-{ /*assert( - evalHead(S * (K * S) * K * p * q * r) == (S * (K * S) * K * p * q), - evalHead(S * (K * S) * K * p * q) == (K * S * p * (K * p) * q), - evalHead(K * S * p * (K * p) * q) == (S * (K * p) * q), - evalHead(S * (K * p) * q) == (S * (K * p) * q * r), + evalHead(S * (K * S) * K * p * q * r) == (S * (K * S) * K * p * q * r), + evalHead(K * S * p * (K * p) * q * r) == (S * (K * p) * q * r), evalHead(S * (K * p) * q * r) == (K * p * r * (q * r)), evalHead(K * p * r * (q * r)) == (p * (q * r)) )*/ |