\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
            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}