?[x] == case x of inl(y) => [y] | inr(y) => []
Definitions :
decide: case b of inl(x) => s[x] | inr(y) => t[y],
cons: [car / cdr],
nil: []
FDL editor aliases :
cond-to-list
?[x] == case x of inl(y) => [y] | inr(y) => []
Date html generated:
2010_08_27-AM-09_35_32
Last ObjectModification:
2009_12_16-AM-01_26_17
Home
Index