Nuprl Definition : eager-append
eager-append(as;bs) == rec-case(as) of [] => bs | a::as' => r.eval r' = r in [a / r']
Definitions occuring in Statement :
list_ind: list_ind,
cons: [a / b],
callbyvalue: callbyvalue
Definitions occuring in definition :
list_ind: list_ind,
callbyvalue: callbyvalue,
cons: [a / b]
FDL editor aliases :
eager-append
Latex:
eager-append(as;bs) == rec-case(as) of [] => bs | a::as' => r.eval r' = r in [a / r']
Date html generated:
2016_05_14-AM-06_28_16
Last ObjectModification:
2015_12_03-PM-02_05_13
Theory : list_0
Home
Index