---

before(e) ==
  Y (es-before,e.if first(e) then [] else (es-before pred(e)) @ [pred(e)] fi ) 
  e

---

Definitions :  ycomb: Y,  lambda: x.A[x],  ifthenelse: if b then t else f fi ,  es-first: first(e),  append: as @ bs,  apply: f a,  cons: [car / cdr],  es-pred: pred(e),  nil: []
FDL editor aliases :  es-before

---

before(e)  ==    Y  (\mlambda{}es-before,e.if  first(e)  then  []  else  (es-before  pred(e))  @  [pred(e)]  fi  )  e


Date html generated: 2010_08_27-AM-01_11_08
Last ObjectModification: 2009_12_16-AM-01_01_17

Home Index