WhoCites Definitions list 3 jlc Sections Support(jlc) Doc

Who Cites letrec?
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

WhoCites Definitions list 3 jlc Sections Support(jlc) Doc