\chapter{Haskell による Delta と DeltaM の定義と使用例のプログラム}
\label{chapter:original_sources}

\section{ソフトウェアのバージョン一覧}

本論文で用いたプログラムやライブラリのバージョンを表\ref{table:environment}に示す。

\begin{table}[htbp]
    \begin{center}
        \begin{tabular}{|c||c|} \hline
                        & version   \\ \hline \hline
            Mac OS X    & 10.9.5    \\ \hline
            ghc         & 7.8.4     \\ \hline
            Agda        & 2.4.2.2   \\ \hline
            agda-stdlib & 0.9       \\ \hline
            cabal       & 1.22.0.0  \\ \hline
        \end{tabular}
        \label{table:environment}
        \caption{実験環境}
    \end{center}
\end{table}

\section{Delta と DeltaM のソースコード}

\begin{table}[html]
    \lstinputlisting[basicstyle={\scriptsize},
                     numberstyle={\tiny},
                     label=src:original_delta,
                     caption= Delta のソースコード,
                     escapechar=&] {src/orig/Delta.hs}
\end{table}

\begin{table}[html]
    \lstinputlisting[basicstyle={\scriptsize},
                     numberstyle={\tiny},
                     label=src:original_deltaM,
                     caption= DeltaM のソースコード,
                     escapechar=&] {src/orig/DeltaM.hs}
\end{table}