Play audio slide show -- Keyboard shortcut: 'x'  Lecture overview -- Keyboard shortcut: 'u'  Previous page: An example with <kbd>let*</kbd> -- Keyboard shortcut: 'p'  Next page: LAML time functions -- Keyboard shortcut: 'n'  Lecture notes - all slides together  Annotated slide -- Keyboard shortcut: 't'  Textbook -- Keyboard shortcut: 'v'  Alphabetic index  Help page about these notes  Course home      Name binding, Recursion, Iteration, and Continuations - slide 7 : 42

The letrec namebinding construct
The letrec name binding construct allows for definition of mutually recursive functions
(letrec ((n1 e1)
         ...
         (nk ek))
  body-expr)
(letrec ((f1 (lambda (...) ... (f2 ...)))
         (f2 (lambda (...) ... (f1 ...)))
        )
  body-expr)