Ответ 1
В Latex есть некоторые возможности: далее listings, а также makeindex для создания списка всех функций. Кроме того, \label используется для создания перекрестных ссылок между различными разделами:
\documentclass[a4paper,11pt,reqno,twoside,pdflatex,makeidx]{amsart}
\usepackage[a4paper]{geometry}
\usepackage{listings}
\lstloadlanguages{Haskell}
\lstset{
flexiblecolumns=false,
basewidth={0.5em,0.45em},
basicstyle=\ttfamily,
language=haskell,
% numbers=left, % optional numbering of code lines
firstnumber=last,
numberstyle=\tiny,
stepnumber=2,
numbersep=5pt,
index={fac,fac2}
}
\lstnewenvironment{code}{}{}
\usepackage{hyperref}
\title{The factorial function}
\author{Federico Squartini}
\date{}
\makeindex
\begin{document}
\maketitle
\section{Factorial function}
\label{code:fac1}
The factorial function can be defined as:
\begin{code}
fac 0 = 1
fac n = n * fac (n-1)
\end{code}
\section{Factorial function in constant space}
The code for the factorial defined section~\ref{code:fac1} uses $o(n)$ stack
space. The following function uses constant space:
\begin{code}
fac2 n = go 1 1
where
go !acc i| i <= n = go (acc*i) (i+1)
| otherwise = acc
\end{code}
\printindex
\end{document}
Скомпилировать с помощью:
pdflatex example.tex
makeindex example.idx
pdflatex example.tex
pdflatex example.tex
Результат pdf здесь. Это отлично подходит для создания pdf файлов. Для других видов выходов (например, html) вы должны использовать латекс вместе с pandoc.
Другим вариантом является использование синтаксиса разметки pandoc, смешанного с специальными латексными командами (\ label и makeindex). Это должно упростить задачу, а также уменьшить синтаксический шум в исходных файлах.