<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>