- <!DOCTYPE HTML>
- <html><head><meta charset="utf-8"><title>Issue2400-1</title><link rel="stylesheet" href="Agda.css"></head><body><pre class="Agda"><a id="1" class="Background">\documentclass{article}
- \usepackage{agda}
- \begin{document}
- % \begin{code}
- % postulate A : Set
- % \end{code}
- \end{document}
- </a></pre></body></html>
|
