Nuprl Definition : add-nth
add-nth(n;x;L) == firstn(n;L) @ [x / nth_tl(n;L)]
Definitions occuring in Statement :
firstn: firstn(n;as),
nth_tl: nth_tl(n;as),
append: as @ bs,
cons: [a / b]
Definitions occuring in definition :
append: as @ bs,
firstn: firstn(n;as),
cons: [a / b],
nth_tl: nth_tl(n;as)
FDL editor aliases :
add-nth
Latex:
add-nth(n;x;L) == firstn(n;L) @ [x / nth\_tl(n;L)]
Date html generated:
2016_05_14-PM-01_54_58
Last ObjectModification:
2015_09_22-PM-05_55_04
Theory : list_1
Home
Index