matt-noonan/justified-containers

Standard containers, with keys that carry type-level proofs of their own presence.

语言：Haskell · GitHub 星标：82 · Fork：5

在 GitHub 上查看原仓库