Nuprl Definition : rev-append

rev(as) + bs ==  accumulate (with value r and list item a): [a / r]over list:  aswith starting value: bs)


Definitions occuring in Statement :  list_accum: list_accum,  cons: [a / b]
Definitions occuring in definition :  list_accum: list_accum,  cons: [a / b]
FDL editor aliases :  rev-append
Latex:
rev(as)  +  bs  ==
    accumulate  (with  value  r  and  list  item  a):
      [a  /  r]
    over  list:
        as
    with  starting  value:
      bs)


Date html generated: 2016_05_14-AM-06_28_37
Last ObjectModification: 2015_12_03-PM-02_05_37

Theory : list_0


Home Index