obsidiansystems/dependent-map

Dependently-typed finite maps (partial dependent products)

语言：Haskell · GitHub 星标：66 · Fork：32

在 GitHub 上查看原仓库