Nuprl Definition : remove-nth
remove-nth(n;L) == <L[n], firstn(n;L) @ nth_tl(n + 1;L)>
Definitions occuring in Statement :
firstn: firstn(n;as),
select: L[n],
nth_tl: nth_tl(n;as),
append: as @ bs,
pair: <a, b>,
add: n + m,
natural_number: $n
Definitions occuring in definition :
pair: <a, b>,
select: L[n],
append: as @ bs,
firstn: firstn(n;as),
nth_tl: nth_tl(n;as),
add: n + m,
natural_number: $n
FDL editor aliases :
remove-nth
Latex:
remove-nth(n;L) == <L[n], firstn(n;L) @ nth\_tl(n + 1;L)>
Date html generated:
2016_05_14-PM-01_54_46
Last ObjectModification:
2015_09_22-PM-05_55_00
Theory : list_1
Home
Index