Preface.lagda

%if False
\begin{code}
module Preface where
\end{code}
%endif

\chapter*{Preface}

\section*{Welcome}

This electronic book is a Agda version of Pierce's Coq book named Software Foundations.

\section*{Overview}

...