contradiction.tex

\imageslide{badd12.pdf}

\begin{frame}[fragile]

\begin{haskellcode}
data Perhaps a = Unknown | Known a | Contradiction
\end{haskellcode}

\pnl

\begin{haskellcode}
instance Eq a => BoundedJoinSemiLattice (Perhaps a) where

  bottom = Unknown

  (\/) Unknown x           = x
  (\/) x       Unknown     = x
  (\/) Contradiction _     = Contradiction
  (\/) _     Contradiction = Contradiction
  (\/) (Known a) (Known b) =
    if a == b
      then Known a
      else Contradiction
\end{haskellcode}

\end{frame}


\begin{frame}

\begin{columns}
\column{0.5\textwidth}
\includegraphics[scale=0.65]{flat.pdf}
\pause
\column{0.2\textwidth}
\column{0.3\textwidth}
\includegraphics[scale=0.65]{more-information.pdf}
\end{columns}
\end{frame}


\imageslide{perhaps1.pdf}
\imageslide{perhaps2.pdf}


\imageslide[0.6]{doubleplus4.pdf}
\imageslide[0.6]{doubleplus5.pdf}
\imageslide[0.6]{doubleplus6.pdf}
\imageslide[0.6]{doubleplus7.pdf}
\imageslide[0.6]{doubleplus8.pdf}