GitHub repository: Feeld/dependent-map-nonempty
Primary language: Haskell
Description: Non-empty dependent maps