update xhaskell.tex design

Author: tani

src/Repl.lhs

@@ -1,6 +1,3 @@
-\section{MicroHs REPL Mechanism}
-\label{sec:repl}
-
 The MicroHs REPL layer provides the continuity required by notebooks: each cell is evaluated against a persistent semantic context rather than in isolation. The C++ Xeus interpreter forwards requests through a small FFI surface, and this module translates those requests into explicit, auditable transitions over \verb|ReplCtx|.
 
 A practical constraint of MicroHs is that startup work and incremental compilation cost must be managed carefully.

xhaskell.tex

@@ -6,6 +6,8 @@
 \usepackage{pifont}
 \usepackage{enumitem}
 \usepackage{minted}
+\usepackage[sfdefault]{carlito}
+\renewcommand{\familydefault}{\sfdefault}
 \geometry{margin=1in}
 
 \definecolor{xhbg}{HTML}{FAFAFA}
@@ -108,15 +110,15 @@ \subsection{System Stack}
 \subsection{Layer Details}
 
 
-\subsubsection{1. Jupyter and Xeus Protocol Layer}
+\subsubsection{Jupyter and Xeus Protocol Layer}
 
 
 This layer handles the ZeroMQ-based Jupyter protocol. It manages the heartbeat, shell, and control sockets.
-\subsubsection{2. Xeus to Kernel Interpreter Layer}
+\subsubsection{Xeus to Kernel Interpreter Layer}
 
 
 The \texttt{xinterpreter} implementation hooks into the Xeus kernel lifecycle. It receives execution requests and delegates them to the Haskell backend.
-\subsubsection{3. C++ Bridge to Haskell Runtime Layer}
+\subsubsection{C++ Bridge to Haskell Runtime Layer}
 
 
 This is the bridge layer between C++ and the Haskell-compiled Compiler API wrapper (\texttt{Repl.lhs}).
@@ -186,7 +188,7 @@ \subsection{Haskell Display API}
 
 
 The protocol is abstracted in Haskell through the \texttt{Display} typeclass.
-\subsubsection{1. Display Typeclass Interface}
+\subsubsection{Display Typeclass Interface}
 
 
 To enable rich output for a custom type, implement the \texttt{Display} typeclass:
@@ -201,7 +203,7 @@ \subsubsection{1. Display Typeclass Interface}
 \end{minted}
 
 
-\subsubsection{2. Implementation Examples}
+\subsubsection{Implementation Examples}
 
 
 \begin{minted}{haskell}
@@ -219,7 +221,7 @@ \subsubsection{2. Implementation Examples}
 \end{minted}
 
 
-\subsubsection{3. Protocol Generation}
+\subsubsection{Protocol Generation}
 
 
 The \texttt{DisplayData} record implements a \texttt{Show} instance that automatically formats the string into the \texttt{<STX>...<ETX>} protocol.