GitHub repository: ryantrinkle/dependent-map
Primary language: Haskell
Description: Dependently-typed finite maps (partial dependent products)