Nuprl Definition : update
f[x:=v] ==  λy.if eq y x then v else f y fi 
Definitions occuring in Statement : 
ifthenelse: if b then t else f fi 
, 
apply: f a
, 
lambda: λx.A[x]
Definitions occuring in definition : 
lambda: λx.A[x]
, 
ifthenelse: if b then t else f fi 
, 
apply: f 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