Nuprl Definition : concat
concat(ll) == reduce(λl,l'. (l @ l');[];ll)
Definitions occuring in Statement :
append: as @ bs,
reduce: reduce(f;k;as),
nil: [],
lambda: λx.A[x]
Definitions occuring in definition :
reduce: reduce(f;k;as),
lambda: λx.A[x],
append: as @ bs,
nil: []
FDL editor aliases :
concat
Latex:
concat(ll) == reduce(\mlambda{}l,l'. (l @ l');[];ll)
Date html generated:
2016_05_14-AM-06_29_58
Last ObjectModification:
2015_12_03-PM-02_06_03
Theory : list_0
Home
Index