> You just feed your TeX document to ghc and it picks the code out of the \begin{code} blocks. This is starting to remind me of Jupyter notebooks, as you are e

> You just feed your TeX document to ghc and it picks the code out of the \begin{code} blocks. This is starting to remind me of Jupyter notebooks, as you are expected to have documentation (well-rendered markdown) blocks and dedicated code blocks. Now I wonder if notebooks were conceived with Knuth's vision in mind.