matt-noonan / justified-containers

Standard containers, with keys that carry type-level proofs of their own presence.
https://hackage.haskell.org/package/justified-containers
BSD 2-Clause "Simplified" License
80 stars 5 forks source link