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

[Orestis Melkonian]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20190426/71898637/attachment.html>