(L) == reduce(
f,g.f g;
;L)
Definitions :
reduce: reduce(f;k;as),
lambda: x.A[x],
fpf-join: f g,
fpf-empty:
FDL editor aliases :
fpf-join-list
\moplus{}(L) == reduce(\mlambda{}f,g.f \moplus{} g;\motimes{};L)
Date html generated:
2010_08_26-PM-11_47_57
Last ObjectModification:
2008_02_27-PM-09_40_33
Home
Index