Nuprl Definition : map-rev
map-rev(f;L) == eval L' = rev-map-append(f;L;[]) in rev(L')
Definitions occuring in Statement :
rev-map-append: rev-map-append(f;as;bs),
reverse: rev(as),
nil: [],
callbyvalue: callbyvalue
Definitions occuring in definition :
callbyvalue: callbyvalue,
rev-map-append: Error :rev-map-append,
nil: [],
reverse: rev(as)
FDL editor aliases :
map-rev
Latex:
map-rev(f;L) == eval L' = rev-map-append(f;L;[]) in rev(L')
Date html generated:
2017_09_29-PM-05_59_17
Last ObjectModification:
2017_04_26-PM-00_44_26
Theory : list_1
Home
Index