Lysxia/first-class-families

First-class type families

语言：Haskell · GitHub 星标：94 · Fork：15

话题：dependent-types · haskell · types

在 GitHub 上查看原仓库