<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    <span class="tlid-translation translation" lang="en"><span title=""
        class="">Thank you for the links, I will download the new
        version of the libraries.</span></span><br>
    Dankon pro viaj interretaj ligoj, mi elŝultos la novan version de la
    libraro.
    <p>Sincere, <br>
    </p>
    <div class="moz-cite-prefix">On 19-04-26 23:01, Aaron Stump wrote:<br>
    </div>
    <blockquote type="cite"
      cite="mid:1bd391bf-007a-9642-7b9f-6e1a2b2d669a@uiowa.edu">
      <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
      You might also be interested in the trie data structure in the
      Iowa Agda Library:<br>
      <br>
      <a class="moz-txt-link-freetext"
        href="https://github.com/cedille/ial/blob/master/trie.agda"
        moz-do-not-send="true">https://github.com/cedille/ial/blob/master/trie.agda</a><br>
      <br>
      Best,<br>
      Aaron<br>
      <br>
      <div class="moz-cite-prefix">On 4/26/19 12:45 PM, Orestis
        Melkonian wrote:<br>
      </div>
      <blockquote type="cite"
        cite="mid:910b3695-3227-ad97-6d47-5ac38e563d0a@gmail.com">
        <meta http-equiv="Content-Type" content="text/html;
          charset=UTF-8">
        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"
          moz-do-not-send="true">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"
          moz-do-not-send="true">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"
          moz-do-not-send="true">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" moz-do-not-send="true">Agda@lists.chalmers.se</a>
<a class="moz-txt-link-freetext" href="https://lists.chalmers.se/mailman/listinfo/agda" moz-do-not-send="true">https://lists.chalmers.se/mailman/listinfo/agda</a>
</pre>
        </blockquote>
        <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" moz-do-not-send="true">Agda@lists.chalmers.se</a>
<a class="moz-txt-link-freetext" href="https://lists.chalmers.se/mailman/listinfo/agda" moz-do-not-send="true">https://lists.chalmers.se/mailman/listinfo/agda</a>
</pre>
      </blockquote>
      <br>
    </blockquote>
    <div class="moz-signature">-- <br>
      Serge Leblanc
      <hr>
      gpg --search-keys 0x67B17A3F
      <br>
      Fingerprint = 2B2D AC93 8620 43D3 D2C2 C2D3 B67C F631 67B1 7A3F</div>
  </body>
</html>