wu-s-john/Type-Safe-Persistent-Merkle-Trees

Highly Leveraging OCaml's GADTs to Implement a Type Safe Persistent Merkle Tree

语言：OCaml · GitHub 星标：8 · Fork：1

在 GitHub 上查看原仓库