ivor-0.1.5: papers/tutorial/introduction.tex
\section{Introduction}
\Ivor{}~\cite{ivor} is a dependently typed theorem proving library for
Haskell. \section{Introduction}
\Ivor{}~\cite{ivor} is a dependently typed theorem proving library for
Haskell.