example1() ==
esharplet(<"f"
, [<"a", 
x.{z:
| x 
z} , [x]>; <"b", x,a.{z:| (a + x) z} , ``x a``>]
, x,a,b.{z:| (a + (x * b)) z}
, ``x a b``>;esharpbasic(33);esharpapply(esharpvar("f");esharpbasic(33)))
Definitions occuring in Statement :
esharplet: esharplet(lhs;rsh;body),
esharpapply: esharpapply(fun;arg),
esharpbasic: esharpbasic(val),
esharpvar: esharpvar(name),
le: A B,
set: {x:A| B[x]} ,
lambda: x.A[x],
pair: <a, b>,
cons: [car / cdr],
nil: [],
multiply: n * m,
add: n + m,
natural_number: $n,
int: ,
token: "$token"
Definitions :
esharplet: esharplet(lhs;rsh;body),
pair: <a, b>,
lambda: x.A[x],
set: {x:A| B[x]} ,
int: ,
le: A B,
add: n + m,
multiply: n * m,
cons: [car / cdr],
nil: [],
esharpapply: esharpapply(fun;arg),
esharpvar: esharpvar(name),
token: "$token",
esharpbasic: esharpbasic(val),
natural_number: $n
FDL editor aliases :
example1
example1() ==
esharplet(<"f"
, [<"a", \mlambda{}x.\{z:\mBbbZ{}| x \mleq{} z\} , [x]> <"b", \mlambda{}x,a.\{z:\mBbbZ{}| (a + x) \mleq{} z\} , ``x a``>]
, \mlambda{}x,a,b.\{z:\mBbbZ{}| (a + (x * b)) \mleq{} z\}
, ``x a b``>esharpbasic(33);esharpapply(esharpvar("f");esharpbasic(33)))
Date html generated:
2011_08_17-PM-05_57_07
Last ObjectModification:
2011_02_03-PM-05_56_06
Home
Index