changeset 20660 | 8606ddd42554 |
parent 20647 | 680b58597f65 |
20659:66b8455090b8 | 20660:8606ddd42554 |
---|---|
2 %Author: Jia Meng, NICTA |
2 %Author: Jia Meng, NICTA |
3 %untyped combinator reduction for S' |
3 %untyped combinator reduction for S' |
4 |
4 |
5 %S' c f g x --> c (f x) (g x) |
5 %S' c f g x --> c (f x) (g x) |
6 input_clause(a8,axiom, |
6 input_clause(a8,axiom, |
7 [++equal(hAPP(hAPP(hAPP(hAPP(c_COMBS_e,C),F),G),X),hAPP(hAPP(C,hAPP(F,X)),hAPP(G,X)))]). |
7 [++equal(hAPP(hAPP(hAPP(hAPP(c_COMBS__e,C),F),G),X),hAPP(hAPP(C,hAPP(F,X)),hAPP(G,X)))]). |