---

select-indices-aux(f;L) ==
  rec-case(L) of [] => n.[] | fst::rest => r.if f fst
  then n.[n / (r (n + 1))]
  else n.(r (n + 1))
  fi 

---

Definitions :  list_ind: rec-case(a) of [] => s | x::y => z.t[x; y; z],  nil: [],  ifthenelse: if b then t else f fi ,  cons: [car / cdr],  lambda: x.A[x],  apply: f a,  add: n + m,  natural_number: $n
FDL editor aliases :  select-indices-aux

---

select-indices-aux(f;L)  ==
    rec-case(L)  of  []  =>  \mlambda{}n.[]  |  fst::rest  =>  r.if  f  fst
    then  \mlambda{}n.[n  /  (r  (n  +  1))]
    else  \mlambda{}n.(r  (n  +  1))
    fi 


Date html generated: 2010_08_28-AM-01_47_06
Last ObjectModification: 2010_03_17-PM-02_34_49

Home Index