[Agda] [External] Re: Example of Finite maps with an string keys?

[Serge Leblanc]

Thank you for the links, I will download the new version of the libraries.
Dankon pro viaj interretaj ligoj, mi elŝultos la novan version de la
libraro.

Sincere,

On 19-04-26 23:01, Aaron Stump wrote:
> You might also be interested in the trie data structure in the Iowa
> Agda Library:
>
> https://github.com/cedille/ial/blob/master/trie.agda
>
> Best,
> Aaron
>
> On 4/26/19 12:45 PM, Orestis Melkonian wrote:
>> You can find examples here:
>>
>> 1. (SO)
>> https://stackoverflow.com/questions/36269333/agdas-standard-library-data-avl-sets-containing-data-string-as-values
>> 2. (SO)
>> https://stackoverflow.com/questions/42614042/map-with-strings-as-keys-in-agda
>> 3. (Gist) https://gist.github.com/gallais/358ba798323868a7c4e0
>>
>> Cheers,
>> --OM
>>
>> On 26-04-19 19:04, Serge Leblanc wrote:
>>>
>>> Dear All, does someone haves an example of AVL trees with
>>> String-type keys?
>>>
>>> Saluton, ĉu iu havas 'AVL-trees'-ekzemplon kun String-tipa klavo?
>>>
>>> Sinceran dankon pro via helpo.
>>>
>>> -- 
>>>
>>> Serge Leblanc
>>> ------------------------------------------------------------------------
>>> gpg --search-keys 0x67B17A3F
>>> Fingerprint = 2B2D AC93 8620 43D3 D2C2 C2D3 B67C F631 67B1 7A3F
>>>
>>> _______________________________________________
>>> Agda mailing list
>>> Agda at lists.chalmers.se
>>> https://lists.chalmers.se/mailman/listinfo/agda
>>
>> _______________________________________________
>> Agda mailing list
>> Agda at lists.chalmers.se
>> https://lists.chalmers.se/mailman/listinfo/agda
>
-- 
Serge Leblanc
------------------------------------------------------------------------
gpg --search-keys 0x67B17A3F
Fingerprint = 2B2D AC93 8620 43D3 D2C2 C2D3 B67C F631 67B1 7A3F
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20190427/3dded008/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 228 bytes
Desc: OpenPGP digital signature
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20190427/3dded008/attachment.sig>