Module notebook_elab

catlog::tt

Module notebook_elab 

Source
Expand description

Elaboration for frontend notebooks.

Structsยง

Elaborator
The current state of a notebook elaboration session.