general-base-program(locs;f;T) ==
<T, mk_fpf(locs;
x.<T, Unit, 
, s,m.<inl , f x m>>)>
Definitions occuring in Statement :
mk_fpf: mk_fpf(L;f),
it: ,
unit: Unit,
apply: f a,
lambda: x.A[x],
pair: <a, b>,
inl: inl x
Definitions :
mk_fpf: mk_fpf(L;f),
unit: Unit,
lambda: x.A[x],
pair: <a, b>,
inl: inl x ,
it: ,
apply: f a
FDL editor aliases :
general-base-program
general-base-program(locs;f;T) == <T, mk\_fpf(locs;\mlambda{}x.<T, Unit, \mcdot{}, \mlambda{}s,m.<inl \mcdot{} , f x m>>)>
Date html generated:
2011_08_16-PM-06_28_19
Last ObjectModification:
2011_03_22-AM-11_38_59
Home
Index