NoProposal ==
tr.let b,b',v = tr in
if b 
z b' then inl b else inr 
fi [Collect1]
Definitions :
abbr22: Collect1,
it: ,
inr: inr x ,
inl: inl x ,
le_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 :
abbr25
NoProposal == \mlambda{}tr.let b,b',v = tr in if b \mleq{}z b' then inl b else inr \mcdot{} fi [Collect1]
Date html generated:
2010_08_28-PM-01_41_33
Last ObjectModification:
2010_08_04-PM-02_11_19
Home
Index