lamdu/hypertypes

Hypertypes - generic programming for heterogeneous recursive types

语言：Haskell · GitHub 星标：126 · Fork：10

话题：programming-language-development · programming-languages · type-checker · type-inference

在 GitHub 上查看原仓库