| changeset 20806 | 3728dba101f1 |
| parent 20805 | 35574b9b59aa |
| child 20807 | bd3b60f9a343 |
| 20805:35574b9b59aa | 20806:3728dba101f1 |
|---|---|
1 %ID: $Id$ |
|
2 %Author: Jia Meng, NICTA |
|
3 %untyped combinator reduction for B', C' |
|
4 |
|
5 clause( |
|
6 forall([C, F, G, X], |
|
7 or( equal(hAPP(hAPP(hAPP(hAPP(c_COMBB__e,C),F),G),X),hAPP(C,hAPP(F,hAPP(G,X)))))), |
|
8 a6 ). |
|
9 |
|
10 clause( |
|
11 forall([C, F, G, X], |
|
12 or( equal(hAPP(hAPP(hAPP(hAPP(c_COMBC__e,C),F),G),X),hAPP(hAPP(C,hAPP(F,X)),G)))), |
|
13 a7 ). |