equal
deleted
inserted
replaced
|
1 %ID: $Id$ |
|
2 %Author: Jia Meng, NICTA |
|
3 %const-typed combinator reduction for S' |
|
4 |
|
5 %S' c f g x --> c (f x) (g x) |
|
6 input_clause(a8,axiom, |
|
7 [++equal(hAPP(hAPP(hAPP(hAPP(c_COMBS_e(A,B,U,V),C),F),G),X),hAPP(hAPP(C,hAPP(F,X)),hAPP(G,X)))]). |