add-cause(ev;ext) == lg-map(
x.<ev, x>;ext)
Definitions :
lg-map: lg-map(f;g),
lambda: x.A[x],
pair: <a, b>
FDL editor aliases :
add-cause
add-cause(ev;ext) == lg-map(\mlambda{}x.<ev, x>ext)
Date html generated:
2010_08_27-PM-03_51_27
Last ObjectModification:
2010_04_27-PM-02_57_55
Home
Index