well-typed/generics-sop

Generic Programming using True Sums of Products

语言：Haskell · GitHub 星标：166 · Fork：50

话题：generic-programming · haskell · types

在 GitHub 上查看原仓库