Idris函数在红黑树实现上获取模式匹配错误
我正在Idris中实施红黑树实现。在此实现中，该节点除...