Definitions lambda jlc Sections Support(jlc) Doc

No mentions to report in lambda_jlc
letrec_argDef x b(x) (x) == b(x)

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

About:
apply!abstraction

Definitions lambda jlc Sections Support(jlc) Doc