ghci4luatex : a GHCi session in LuaTeX

Run a GHCi session within a latex document :

• The ghci environment evaluates Haskell code without printing anything :

\begin{ghci}
x :: Int
x = 4

y :: Int
y = 5
\end{ghci}

• The hask command evaluates any GHCi command and prints in Haskell what GHCi printed :

The sum of $x$ and $y$ when $x = \hask{x}$ and $y = \hask{y}$ is $\hask{x + y}$.

• You can use HaTeX :

\begin{ghci}
:set -XOverloadedStrings
\end{ghci}

\begin{ghci}
import Text.LaTeX

printTex = putStrLn . prettyLateX
\end{ghci}

\hask{printTex (section "A section using HaTeX")}

• Use any package you need by adding it to package.yaml (if the package is on Stackage) or to stack.yaml if it is your own package or only on Hackage.

Quick start

1. Install haskell and cabal or stack

2. Install ghci4luatexby running either

cabal install ghci4luatex

or

stack install ghci4luatex

3. Copy ghci.sty and dkjson.lua in the folder containing a main.tex file with the following content :

\documentclass{article}

\usepackage{ghci}

\begin{document}

\begin{ghci}
x :: Int
x = 5

y :: Int
y = 6
\end{ghci}

The sum of $x$ and $y$ when $x = \hask{x}$ and $y = \hask{y}$ is $\hask{x + y}$.

\end{document}

4. Within that folder, run the ghci4luatex server :

ghci4luatex

5. Open another shell and compile with luatex :

latexmk -shell-escape -lualatex main.tex

Workflow with lhs2tex in Visual Studio Code with LaTeX workshop

In this repository, you will find an example that contains a Makefile.

You can take inspiration from this to use make in a LateX Workshop receipe :

1. Install the LaTeX Workshop extension.
2. In settings.json , add the following

"latex-workshop.latex.recipes": [
        {
            "name": "ghci4luatex",
            "tools": [
                "mklatex"
            ]
        }
    ],
"latex-workshop.latex.outDir": "./build/",
"latex-workshop.latex.tools": [
        {
            "name": "mklatex",
            "command": "make",
            "args": [
                "latex",
                "main=%DOCFILE%"
            ],
            "env": {}
        }
    ],