Proposal ==
tr.let b,b',v = tr in
if b' <z b then inl <b, v> else inr 
fi [Collect1]
Definitions :
abbreviation: 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]
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_30-AM-12_51_03
Last ObjectModification:
2010_08_16-PM-01_37_15
Home
Index