\commentout{
\begin{code}
  module DES where

\end{code}
}

\chapter{DES: The Data Encryption Standard}
\label{cha:des:-data-encryption}

\todo[inline]{Move content from DES writeup here.}

%%% Local Variables: 
%%% mode: latex
%%% TeX-master: "../main/Cryptol"
%%% End: 
