文件名称：idris-patricia：:volcano:Idris实施patricia树
文件大小：10KB
文件格式：ZIP
更新时间：2024-02-25 23:23:49
algorithm data-structure containers persistence idris
idris-patricia：:volcano:Idris实施patricia树
【文件预览】：
idris-patricia-main
----.gitignore(29B)
----Patricia()
--------IntMap.idr(7KB)
--------IntSet.idr(1KB)
--------BitsUtils.idr(2KB)
----CODEOWNERS(127B)
----default.nix(280B)
----.travis.yml(145B)
----CONTRIBUTING.md(1KB)
----LICENSE(1KB)
----install-dependencies.sh(213B)
----README.md(2KB)
----Test()
--------Patricia()
----patricia-nix.ipkg(404B)
----patricia.ipkg(421B)