Nuprl Definition : update

f[x:=v] ==  λy.if eq then else fi 



Definitions occuring in Statement :  ifthenelse: if then else fi  apply: a lambda: λx.A[x]
Definitions occuring in definition :  lambda: λx.A[x] ifthenelse: if then else fi  apply: a
FDL editor aliases :  update

Latex:
f[x:=v]  ==    \mlambda{}y.if  eq  y  x  then  v  else  f  y  fi 



Date html generated: 2016_05_15-PM-03_49_08
Last ObjectModification: 2015_09_23-AM-07_45_09

Theory : general


Home Index