Issue2734.lagda.tex 228 B

123456789101112131415161718192021
  1. \documentclass{article}
  2. \usepackage{agda}
  3. \setlength{\AgdaEmptySkip}{\abovedisplayskip}
  4. \begin{document}
  5. \thispagestyle{empty}
  6. Text.
  7. \begin{code}
  8. postulate
  9. A : Set
  10. B : Set
  11. \end{code}
  12. More text.
  13. \end{document}