123456789101112131415161718192021 |
- \documentclass{article}
- \usepackage{agda}
- \begin{document}
- \begin{code}
- \>[0]\<
- \\
- \\[\AgdaEmptyExtraSkip]
- \>[0]\AgdaKeyword{module}\AgdaSpace{}
- \AgdaModule{ThreeNewLines}\AgdaSpace{}
- \AgdaKeyword{where}\<
- \\
- \\[\AgdaEmptyExtraSkip]
- \>[0]\<
- \end{code}
- \end{document}
|