标准库中是否有关联列表?

问题描述 投票:0回答:1

我没有足够的信心去尝试证明那里存在的AVL树的属性,因此我想尝试一些更简单的方法。我可以自己实现它,但是如果它已经藏在某个地方的库中,我不想花时间去做。

agda
1个回答
1
投票

您可以使用成对列表,然后可以通过Any对成员资格的概念进行编码。

© www.soinside.com 2019 - 2024. All rights reserved.