[master.git] / ar / assignments / a.tex

\section{Appendix}
\newpage
\lstinputlisting[language=lisp,caption={a1.smt},label={listing:a1.smt}]{src/a1.smt}

\newpage
\lstinputlisting[language=python,caption={a4.py},label={listing:4.py}]{src/4.py}