gelisam/typelevel-rewrite-rules

rewrite rules for type-level equalities

语言：Haskell · GitHub 星标：62 · Fork：4

在 GitHub 上查看原仓库