---

[P? f : g] ==  x.if p:P x then f x else g x fi 

---

Definitions :  lambda: x.A[x],  branch: if p:P then A[p] else B fi ,  apply: f a
FDL editor aliases :  conditional

---

[P?  f  :  g]  ==    \mlambda{}x.if  p:P  x  then  f  x  else  g  x  fi 


Date html generated: 2010_08_27-AM-09_38_47
Last ObjectModification: 2009_12_16-AM-08_52_24

Home Index