Definitions lambda jlc Sections Support(jlc) Doc

No mentions to report in lambda_jlc
letrecDef (letrec f b(f)) == b((letrec f b(f)) ) (recursive)

Syntax:(letrec f b(f)) has structure: letrec(f.b(f))

About:
recursive_def_notice!abstraction

Definitions lambda jlc Sections Support(jlc) Doc