laurmcarter/type-combinators

Type level lists, pairs, sums, their operations, and their properties.

语言：Haskell · GitHub 星标：24 · Fork：4

在 GitHub 上查看原仓库