goldfirere/singletons

Fake dependent types in Haskell using singletons

语言：Haskell · GitHub 星标：295 · Fork：39

在 GitHub 上查看原仓库