Nuprl Definition : cond-to-list
?[x] == case x of inl(y) => [y] | inr(y) => []
Definitions occuring in Statement :
cons: [a / b],
nil: [],
decide: case b of inl(x) => s[x] | inr(y) => t[y]
FDL editor aliases :
cond-to-list
cond-to-list
?[x] == case x of inl(y) => [y] | inr(y) => []
Date html generated:
2015_07_17-AM-08_57_26
Last ObjectModification:
2013_03_25-PM-01_53_36
Home
Index