Literate Pecan

[ReedOei]

It would be very cool if we could write a Latex file, and then just automatically run that file with Pecan. Code would be detected as lstlistings with language=pecan set, like the following:

\begin{lstlisting}[language=pecan, basicstyle=\small\ttfamily, mathescape=true, frame=single]
n, m, a, b, c are nat
purchashable(n) := n is nat $\color{red} \wedge$ $\exists$a. $\exists$b. $\exists$c. n =$\ $6*a $\color{red} +$ 9*b $\color{red} +$ 20*c
non_purchasable(n) := n is nat $\color{red} \wedge$ $\color{red} \neg$purchashable(n)
\end{lstlisting}