<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
  </head>
  <body>
    You can find examples here:<br>
    <br>
    1. (SO)
<a class="moz-txt-link-freetext" href="https://stackoverflow.com/questions/36269333/agdas-standard-library-data-avl-sets-containing-data-string-as-values">https://stackoverflow.com/questions/36269333/agdas-standard-library-data-avl-sets-containing-data-string-as-values</a><br>
    2. (SO)
<a class="moz-txt-link-freetext" href="https://stackoverflow.com/questions/42614042/map-with-strings-as-keys-in-agda">https://stackoverflow.com/questions/42614042/map-with-strings-as-keys-in-agda</a><br>
    3. (Gist) <a class="moz-txt-link-freetext" href="https://gist.github.com/gallais/358ba798323868a7c4e0">https://gist.github.com/gallais/358ba798323868a7c4e0</a><br>
    <br>
    Cheers,<br>
    --OM<br>
    <br>
    <div class="moz-cite-prefix">On 26-04-19 19:04, Serge Leblanc wrote:<br>
    </div>
    <blockquote type="cite"
      cite="mid:71b5e046-9cd3-3ed1-9f27-912d398b027f@gmail.com">
      <meta http-equiv="content-type" content="text/html; charset=UTF-8">
      <p>Dear All, does someone haves an example of AVL trees with
        String-type keys? <br>
      </p>
      <p>Saluton, ĉu iu havas 'AVL-trees'-ekzemplon kun String-tipa
        klavo?</p>
      Sinceran dankon pro via helpo.<br>
      <p>-- </p>
      <div class="moz-signature">Serge Leblanc
        <hr> gpg --search-keys 0x67B17A3F <br>
        Fingerprint = 2B2D AC93 8620 43D3 D2C2 C2D3 B67C F631 67B1 7A3F</div>
      <br>
      <fieldset class="mimeAttachmentHeader"></fieldset>
      <pre class="moz-quote-pre" wrap="">_______________________________________________
Agda mailing list
<a class="moz-txt-link-abbreviated" href="mailto:Agda@lists.chalmers.se">Agda@lists.chalmers.se</a>
<a class="moz-txt-link-freetext" href="https://lists.chalmers.se/mailman/listinfo/agda">https://lists.chalmers.se/mailman/listinfo/agda</a>
</pre>
    </blockquote>
  </body>
</html>