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

[Serge Leblanc]

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