hslibrary.tex

\section{Haskell Library}

% Shell, loading files
% Terms, types and data structures
% Adding definitions, pattern matching
% Theorem proving
% Defining tactics