gspia/fcf-containers

fcf-containers add tools that can be used with first-class-families

语言：Haskell · GitHub 星标：7 · Fork：2

话题：dependent-types · haskell · haskell-library · types

在 GitHub 上查看原仓库