Nuprl Definition : links-from-to
links(tg) from srclocs to dstlocs == concat(map(λc.map(λv.(link(tg) from v to c);srclocs);dstlocs))
Definitions occuring in Statement :
mk_lnk: (link(n) from i to j),
concat: concat(ll),
map: map(f;as),
lambda: λx.A[x]
FDL editor aliases :
links-from-to
links(tg) from srclocs to dstlocs == concat(map(\mlambda{}c.map(\mlambda{}v.(link(tg) from v to c);srclocs);dstlocs))
Date html generated:
2015_07_17-AM-09_12_16
Last ObjectModification:
2012_02_25-AM-10_53_02
Home
Index