WhoCites Definitions SUPPORTjlc Sections NuprlLIB Doc

Who Cites letrec arg?
letrec_argDef x b(x) (x) == b(x)

Syntax:x b(x) has structure: letrec_arg(x.b(x))

About:
apply!abstraction

WhoCites Definitions SUPPORTjlc Sections NuprlLIB Doc