\begin{code}%
\>\AgdaKeyword{module} \AgdaModule{NoNewLinesVsNewLines} \AgdaKeyword{where}\<%
\end{code}

\begin{code}%
\>\<%
\\
\>\AgdaKeyword{module} \AgdaModule{Test2} \AgdaKeyword{where}\<%
\\
\>\<%
\end{code}
