aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorStewart Stewart <stewinsalot@gmail.com>2015-08-11 16:15:13 -0700
committerStewart Stewart <stewinsalot@gmail.com>2015-08-11 16:15:13 -0700
commit29937e424c53ed5a2c269bf490e63c17ee5e5cc2 (patch)
tree513e546d852a443a6e38f0da859e93d34438a032
parent2252b9ee8284630008f1622cd6d7cccf07680a97 (diff)
downloadspn-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.scala6
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))
)*/