Home Esplora Aiuto
Accedi
caryoscelus
/
agda
Segui 1
Vota 0
Forka 0
File Problemi 0 Pull Requests 0 Wiki
Albero (Tree): ce9b406819
Rami (Branch) Tag
agda
/
test
/
LaTeXAndHTML
/
succeed
/
TrailingColon.html

TrailingColon.html 2.6 KB
Cronologia Originale

123456789101112131415161718192021222324252627282930313233 
  1. <!DOCTYPE HTML>
    2. 

  2. <html><head><meta charset="utf-8"><title>TrailingColon</title><link rel="stylesheet" href="Agda.css"></head><body><pre class="Agda"><a id="1" class="Background">Queso!
    3. 

  3. 

  4. aaa
    5. 

  5. 

  6. ..
    7. 

  7. </a><a id="17" class="Markup">  ::
    8. 

  8. </a>    <a id="26" class="Keyword">module</a> <a id="33" href="TrailingColon.html" class="Module">TrailingColon</a> <a id="47" class="Keyword">where</a>
    9. 

  9. 

  10.         <a id="62" class="Keyword">data</a> <a id="Bool"></a><a id="67" href="TrailingColon.html#67" class="Datatype">Bool</a> <a id="72" class="Symbol">:</a> <a id="74" href="Agda.Primitive.html#311" class="Primitive">Set</a> <a id="78" class="Keyword">where</a>
    11. 

  11.             <a id="Bool.true"></a><a id="96" href="TrailingColon.html#96" class="InductiveConstructor">true</a> <a id="101" class="Symbol">:</a> <a id="103" href="TrailingColon.html#67" class="Datatype">Bool</a>
    12. 

  12.             <a id="Bool.false"></a><a id="120" href="TrailingColon.html#120" class="InductiveConstructor">false</a> <a id="126" class="Symbol">:</a> <a id="128" href="TrailingColon.html#67" class="Datatype">Bool</a>
    13. 

  13.             <a id="Bool.aa"></a><a id="145" href="TrailingColon.html#145" class="InductiveConstructor">aa</a> <a id="148" class="Symbol">:</a> <a id="150" href="TrailingColon.html#67" class="Datatype">Bool</a>
    14. 

  14. 

  15.         <a id="a"></a><a id="164" href="TrailingColon.html#164" class="Function">a</a> <a id="166" class="Symbol">:</a> <a id="168" href="TrailingColon.html#67" class="Datatype">Bool</a>
    16. 

  16.         <a id="181" href="TrailingColon.html#164" class="Function">a</a> <a id="183" class="Symbol">=</a> <a id="185" href="TrailingColon.html#96" class="InductiveConstructor">true</a>
    17. 

  17. 

  18. <a id="191" class="Background">Tomate
    19. 

  19. bleh
    20. 

  20. bli
    21. 

  21. 

  22. </a><a id="208" class="Markup">::
    23. 

  23. </a>        <a id="b"></a><a id="219" href="TrailingColon.html#219" class="Function">b</a> <a id="221" class="Symbol">:</a> <a id="223" href="TrailingColon.html#67" class="Datatype">Bool</a>
    24. 

  24.         <a id="236" href="TrailingColon.html#219" class="Function">b</a> <a id="238" class="Symbol">=</a> <a id="240" href="TrailingColon.html#120" class="InductiveConstructor">false</a>
    25. 

  25. 

  26. 

  27. <a id="248" class="Background">for example:</a><a id="260" class="Markup">:
    28. 

  28. 

  29. </a>        <a id="c"></a><a id="271" href="TrailingColon.html#271" class="Function">c</a> <a id="273" class="Symbol">:</a> <a id="275" href="TrailingColon.html#67" class="Datatype">Bool</a>
    30. 

  30.         <a id="288" href="TrailingColon.html#271" class="Function">c</a> <a id="290" class="Symbol">=</a> <a id="292" href="TrailingColon.html#145" class="InductiveConstructor">aa</a>
    31. 

  31. 

  32. <a id="296" class="Background">and that&#39;s all, folks
    33. 

  33. </a></pre></body></html>
    34.