application and the corresponding architecture.
\startbuffer[And3]
--- | A simple function that returns
--- conjunction of three bits
+-- A simple function that returns
+-- conjunction of three bits
and3 :: Bit -> Bit -> Bit -> Bit
and3 a b c = and (and a b) c
\stopbuffer
and the corresponding architecture.
\startbuffer[Quadruple]
--- | Multiply the input word by four.
+-- Multiply the input word by four.
quadruple :: Word -> Word
quadruple n = mul (mul n)
where