SAT<sub>Y</sub>SF<sub>I</sub> N<sub>OTEBOOK</sub>: Computational Notebook Environment for Typesetting Presentation Slides

For creating presentation slides, in which visual expressions are emphasized, WYSIWYG editors, such as PowerPoint, are preferred because they provide immediate feedback on fine layout adjustments. In contrast, for typesetting documents, typesetting systems that enable us to program object rendering and placement in a high-level manner are more effective. Although programming environments for high-level interactive typesetting are desirable for leveraging their advantages in slide creation, such environments are, unfortunately, not well developed. In this work, we present SATYSFI NOTEBOOK by extending the typesetting system SATYSFI, which is based on a functional programming language, to support incremental evaluation and by integrating it into the interactive programming environment JupyterLab. SATYSFI NOTEBOOK enables the incremental creation of slide decks while interactively typesetting and previewing slides represented as high-level program fragments. In this paper, we provide the design and implementation of SATYSFI NOTEBOOK, along with observations obtained during its development.