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
Latex:
?[x]  ==    case  x  of  inl(y)  =>  [y]  |  inr(y)  =>  []


Date html generated: 2016_05_16-AM-10_04_13
Last ObjectModification: 2013_03_25-PM-01_53_36

Theory : new!event-ordering


Home Index