<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
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">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">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>
<br>
</body>
</html>