e(X) == local-state(
x,y.(x + y);0;X;e)
Definitions :
es-interface-local-state: local-state(f;base;X;e),
lambda: x.A[x],
add: n + m,
natural_number: $n
FDL editor aliases :
es-interface-sum
\mSigma{}\mleq{}e(X) == local-state(\mlambda{}x,y.(x + y);0;X;e)
Date html generated:
2010_08_27-PM-03_07_52
Last ObjectModification:
2009_12_16-AM-08_41_43
Home
Index