Etusivu Tutki Apua
Kirjaudu sisään
caryoscelus
/
agda
Tarkkaile 1
Äänestä 0
Fork 0
Tiedostot Ongelmat 0 Pull-pyynnöt 0 Wiki
Puu: ce9b406819
Branchit Tagit
agda
/
test
/
LaTeXAndHTML
/
succeed
/
Issue2734.html

Issue2734.html 894 B
Historia Raaka

12345678910111213141516171819202122 
  1. <!DOCTYPE HTML>
    2. 

  2. <html><head><meta charset="utf-8"><title>Issue2734</title><link rel="stylesheet" href="Agda.css"></head><body><pre class="Agda"><a id="1" class="Background">\documentclass{article}
    3. 

  3. 

  4. \usepackage{agda}
    5. 

  5. 

  6. \setlength{\AgdaEmptySkip}{\abovedisplayskip}
    7. 

  7. 

  8. \begin{document}
    9. 

  9. 

  10. \thispagestyle{empty}
    11. 

  11. 

  12. Text.
    13. 

  13. </a><a id="139" class="Markup">\begin{code}</a>
    14. 

  14.   <a id="154" class="Keyword">postulate</a>
    15. 

  15.     <a id="A"></a><a id="168" href="Issue2734.html#168" class="Postulate">A</a>  <a id="171" class="Symbol">:</a> <a id="173" href="Agda.Primitive.html#311" class="Primitive">Set</a>
    16. 

  16. 

  17.     <a id="B"></a><a id="182" href="Issue2734.html#182" class="Postulate">B</a>  <a id="185" class="Symbol">:</a> <a id="187" href="Agda.Primitive.html#311" class="Primitive">Set</a>
    18. 

  18. <a id="191" class="Markup">\end{code}</a><a id="201" class="Background">
    19. 

  19. More text.
    20. 

  20. 

  21. \end{document}
    22. 

  22. </a></pre></body></html>
    23.