GitHub repository: matt-noonan/justified-containers
Primary language: Haskell
Created: 2017-07-29T21:20:30Z
Description: Standard containers, with keys that carry type-level proofs of their own presence.