---

fpf(L) ==
  <remove-repeats(eq1;map(p.(fst(p));L))
  , x.reduce(p,l.
               if eqof(eq1) (fst(p)) x then insert(snd(p);l) else l fi ;[];L)
  >

---

Definitions :  pair: <a, b>,  remove-repeats: remove-repeats(eq;L),  map: map(f;as),  reduce: reduce(f;k;as),  lambda: x.A[x],  ifthenelse: if b then t else f fi ,  apply: f a,  eqof: eqof(d),  pi1: fst(t),  insert: insert(a;L),  pi2: snd(t),  nil: []
FDL editor aliases :  pairs-fpf

---

fpf(L)  ==
    <remove-repeats(eq1;map(\mlambda{}p.(fst(p));L))
    ,  \mlambda{}x.reduce(\mlambda{}p,l.if  eqof(eq1)  (fst(p))  x  then  insert(snd(p);l)  else  l  fi  ;[];L)
    >


Date html generated: 2010_08_27-AM-12_02_37
Last ObjectModification: 2008_02_27-PM-09_48_12

Home Index