collect_filter() ==
s.let i,vs,w = s in
case w of inl(x) => {<i - 1, x>} | inr(x) => {}
Definitions occuring in Statement :
spreadn: spread3,
lambda: x.A[x],
pair: <a, b>,
decide: case b of inl(x) => s[x] | inr(y) => t[y],
subtract: n - m,
natural_number: $n,
single-bag: {x},
empty-bag: {}
Definitions :
lambda: x.A[x],
spreadn: spread3,
decide: case b of inl(x) => s[x] | inr(y) => t[y],
single-bag: {x},
pair: <a, b>,
subtract: n - m,
natural_number: $n,
empty-bag: {}
FDL editor aliases :
collect_filter
collect\_filter() == \mlambda{}s.let i,vs,w = s in case w of inl(x) => \{<i - 1, x>\} | inr(x) => \{\}
Date html generated:
2011_08_16-AM-11_03_27
Last ObjectModification:
2011_01_16-PM-10_21_06
Home
Index