Proposal ==
tr.let b,b',v = tr in
if b' <z b then inl <b, v> else inr 
fi [Collect1]
Definitions :
abbr22: Collect1,
it: ,
inr: inr x ,
pair: <a, b>,
inl: inl x ,
lt_int: i <z j,
ifthenelse: if b then t else f fi ,
spreadn: spread3,
lambda: x.A[x],
es-filter-image: f[X]
FDL editor aliases :
abbr24
Proposal == \mlambda{}tr.let b,b',v = tr in if b' <z b then inl <b, v> else inr \mcdot{} fi [Collect1]
Date html generated:
2010_08_28-PM-01_41_32
Last ObjectModification:
2010_08_04-PM-01_43_13
Home
Index