文件名称:Algorithm-idris-patricia.zip
文件大小:10KB
文件格式:ZIP
更新时间:2022-10-07 11:20:15
Algorithm
Algorithm-idris-patricia.zip,patricia树的idris实现,算法是为计算机程序高效、彻底地完成任务而创建的一组详细的准则。
【文件预览】:
idris-patricia-master
----.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)