Lecture overview -- Keyboard shortcut: 'u'  Previous page: Tool Overview -- Keyboard shortcut: 'p'  Next page: The editor tool -- Keyboard shortcut: 'n'  Lecture notes - all slides and notes together  Annotated slide -- Keyboard shortcut: 't'  Alphabetic index  Help page about these notes  Course home    Slide 26 : 40

The elucidator tool
The elucidator is the tool that processes a documentation bundle in order to produce an elucidative program

The Scheme Elucidator do both abstraction and synthesis statically

Alternatively, the synthesis may be done dynamically by the web server.