| 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 %B' c f g x --> c (f (g x)) |
|
6 input_clause(a6,axiom, |
|
7 [++equal(hAPP(hAPP(hAPP(hAPP(c_COMBB__e,C),F),G),X),hAPP(C,hAPP(F,hAPP(G,X))))]). |
|
8 |
|
9 %C' c f g x --> c (f x) g |
|
10 input_clause(a7,axiom, |
|
11 [++equal(hAPP(hAPP(hAPP(hAPP(c_COMBC__e,C),F),G),X),hAPP(hAPP(C,hAPP(F,X)),G))]). |